[SeaBIOS] [PATCH 4/4] Try pci_reboot() before i8042_reboot()

[David Woodhouse]

From: David Woodhouse

The so-called "PCI" reboot at 0xCF9 is supposed to be a hard reset, while
the keyboard controller is only a soft reset. So try pci_reboot() first.

Signed-off-by: David Woodhouse 
---
 src/resume.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/resume.c b/src/resume.c
index 784abac..97e20b6 100644
--- a/src/resume.c
+++ b/src/resume.c
@@ -135,12 +135,12 @@ tryReboot(void)
     // Reboot using ACPI RESET_REG
     acpi_reboot();

-    // Try keyboard controller reboot.
-    i8042_reboot();
-
     // Try PCI 0xcf9 reboot
     pci_reboot();

+    // Try keyboard controller reboot.
+    i8042_reboot();
+
     // Try triple fault
     asm volatile("int3");