> Wobei ja angeblich RadeonHD Karten auch mit x86 BIOS gehen sollen.

Nicht nur angeblich. Allerdings nicht unter Mac OS X (und OpenFirmware). Insofern scheint mir die Aussage des Verkäufers sehr zweifelhaft.