cpu_acpi_fini
cpu_acpi_fini(mach_state->ms_acpi_handle);
extern void cpu_acpi_fini(cpu_acpi_handle_t);