This was, in part, responsible for why Intel CPUs now have upgradeable microcode. Functions like these can be implemented in a software layer that has the ability to correct shipment defects. F00F is far from Intel's last bug; their last two generations featured transactional memory that had to be disabled from the microcode because it simply didn't work properly.
