[ACPI] fix processor_core.c for NR_CPUS > 256