This is not a newsworthy subject, as this is just an awkward board id, not a chip id Should've been named HP/Compaq <whatever> (need to dig out that laptop) instead.
Egbert implemented most of rs690 a few weeks ago. We're still blocked on some things: lack of dvi hw, lack of i2c documentation (not that this stopped egbert when implementing ddc).
Actually, X1250 is rather dubious. Nobody knows which chip family this actually is supposed to be. Some are R4xx, some are R5xx, you don't know which is which from marketing or manuals until you see the actual pciids.
I just bought a Radeon X1050. Is that supported? Is there a list somewhere telling which cards are supported? Will the <a href="http://download.opensuse.org/repositories/X11:/Drivers:/Video:/radeonhd/">RadeonHD yum repository</a> add support for Fedora 8 sometime soon?