[SeaBIOS] [PATCH 3/4] Add acpi_reboot() reset method using RESET_REG