#include <PiDxe.h>\r
\r
#include <Library/PcdLib.h>\r
-#include <Library/ArmLib.h>\r
-#include <Library/CacheMaintenanceLib.h>\r
#include <Library/DebugLib.h>\r
#include <Library/EfiResetSystemLib.h>\r
\r
-#include <ArmEbUart.h>\r
+#include <ArmEb/ArmEb.h>\r
\r
/**\r
Resets the entire platform.\r