#include <Common/FlashMap.h>\r
// BUGBUG: We must include this lib here due to ordering issues\r
//\r
-#include <Ipf/SalApi.h>\r
#include <Library/PeCoffLib.h>\r
\r
\r
#include <Guid/StatusCode.h>\r
#include <Guid/PciOptionRomTable.h>\r
#include <Guid/PciHotplugDevice.h>\r
+#if defined(MDE_CPU_IPF)\r
#include <Guid/ExtendedSalGuid.h>\r
+#endif\r
#include <Guid/PeiPeCoffLoader.h>\r
#include <Guid/CapsuleVendor.h>\r
#include <Guid/CompatibleMemoryTested.h>\r
#include <Protocol/GenericMemoryTest.h>\r
#include <Protocol/DiskInfo.h>\r
#include <Protocol/FvbExtension.h>\r
-#include <Protocol/SecurityPolicy.h>\r
#include <Protocol/FaultTolerantWriteLite.h>\r
#include <Protocol/ConsoleControl.h>\r
#include <Protocol/OEMBadging.h>\r
#include <Protocol/DebugAssert.h>\r
#include <Protocol/usbatapi.h>\r
#include <Protocol/PciHotPlugRequest.h>\r
+#if defined(MDE_CPU_IPF)\r
#include <Protocol/ExtendedSalBootService.h>\r
+#endif\r
#include <Protocol/IsaAcpi.h>\r
\r
#if ((EDK_RELEASE_VERSION != 0) && (EFI_SPECIFICATION_VERSION < 0x00020000))\r