1. 44be28e x86/reboot: Add EFI reboot quirk for ACPI Hardware Reduced flag by Matt Fleming · 11 years ago
  2. 0c5ed61 efi/reboot: Allow powering off machines using EFI by Matt Fleming · 11 years ago
  3. 8562c99c efi/reboot: Add generic wrapper around EfiResetSystem() by Matt Fleming · 11 years ago