cpu_acpi.c revision db2bae3047e71d795bde12e3baa621f4b6cc8930