1) Fix another instance of bug #2980
2) Disable __ARRAY_MACHINE_CODED__ in cpudefs.h as workaround for bug #2976
3) Fix for bug #2985. Not a GCCE bug but breaks my builds on Linux
config.version = "8"
virtualHW.version = "6"
numvcpus = "2"
scsi0.present = "TRUE"
memsize = "256"
ide0:0.present = "TRUE"
ide0:0.fileName = "hdd.vmdk"
ide1:0.present = "TRUE"
ide1:0.fileName = "auto detect"
ide1:0.deviceType = "cdrom-raw"
floppy0.autodetect = "TRUE"
sound.present = "TRUE"
sound.fileName = "-1"
sound.autodetect = "TRUE"
pciBridge0.present = "TRUE"
mks.keyboardFilter = "allow"
displayName = "HDD"
guestOS = "winxppro"
nvram = "Other.nvram"
deploymentPlatform = "windows"
virtualHW.productCompatibility = "hosted"
tools.upgrade.policy = "useGlobal"
ide1:0.autodetect = "TRUE"
floppy0.fileName = "A:"