Add the ability to reset the machine using the RESET_REG in ACPI's FADT table.