ACPI processor: Fix section mismatch for processor_add()