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
PlatSecEnforcement ON
PlatSecDiagnostics ON
PlatSecDisabledCaps -TCB+CommDD-PowerMgmt+MultimediaDD-ReadDeviceData+WriteDeviceData-DRM+TrustedUI-ProtServ+DiskAdmin-NetworkControl+AllFiles-SwEvent+NetworkServices-LocalServices+ReadUserData-WriteUserData+Location