Re: [Linaro-acpi] [PATCH 2/4] ACPI: Don't use acpi_lapic in ACPI core code