ACPI: reboot.c: use new acpi_reset interface