#define CONFIG_ACPI_PROCESSOR 1