#include <PiPei.h>
+#include <Library/EmuMagicPageLib.h>
#include <Library/DebugLib.h>
#include <Library/PeiServicesLib.h>
#include <Library/PeCoffGetEntryPointLib.h>
#include <Library/BaseMemoryLib.h>
-#include <Library/PpiListLib.h>
#include <Ppi/TemporaryRamSupport.h>