More copying of ACPI code from Booter.