x86: add ACPI reboot option