#define FLAG (EFI_ACPI_2_0_WBINVD | \\r
EFI_ACPI_2_0_PROC_C1 | \\r
EFI_ACPI_2_0_SLP_BUTTON | \\r
- EFI_ACPI_2_0_RTC_S4)\r
+ EFI_ACPI_2_0_RTC_S4 | \\r
+ EFI_ACPI_2_0_RESET_REG_SUP)\r
+#define RESET_REG 0xCF9\r
+#define RESET_VALUE (BIT2 | BIT1) // PIIX3 Reset CPU + System Reset\r
\r
//\r
// Byte-aligned IO port register block initializer for\r