[ACPI] revert bad processor_core.c patch for bug 5128