Hm. An ein eigenes BIOS habe ich noch nicht gedacht...
Soweit ich das jetzt verstanden habe:
Technisch geht x87 unter 64bit - Microsofts wollte es zwar nicht, aber es funktioniert trotzdem.
Hier schreibt Microsoft aber, dass x87 deprecated ist
http://msdn.microsoft.com/en-us/libr...=vs.85%29.aspx
Unter 64-bit XP gab es wohl schon Probleme
http://support.microsoft.com/kb/934198