>>4
Bellard just emulated the ID of the early Pentium that happened to have this bug; the kernel doesn't actually try to determine if it has the bug or not because that's impossible without locking the machine up ("Checking for F00F bug... If your computer doesn't respond in 5 seconds, please press the reset button."!?) --- it's going on CPUID alone.
Then again, since it's a minimal emulator with barely enough instructions to get the kernel working, there are probably some other bugs it has.