OLPC PCI spoofing - Fixed a bug that caused GX-based systems to see a phantom AES device. The observed symptom was the message: Can't assign address ranges larger than 32-bits
cpu/x86/pc/olpc/vsapci.fth