x86, acpi: Add MAX_LOCAL_APIC for 32bit