[Linaro-acpi] [RFC part2 PATCH 0/9] Using ACPI MADT table to initialise SMP and GIC