[SeaBIOS] [PATCH] Add acpi_reboot() function for invoking ACPI reset