efi_reset() isn't sufficient
I have a Dell R730 that when booted in EFI, won't reboot. efi_reset() (which triple faults) just hangs the system.
The attempt to use AcpiReset() fails as the ACPI_FADT_RESET_REGISTER bit isn't set.
This might require EFI runtime services so we can call its reset method.
Interestingly, the reset register is populated, and if I ignore the flag above, the ACPI method
can reset the system.
No data to display