aha/include/acpi/reboot.h