[Linaro-acpi] [PATCH 1/2] PROTO: irqchip: gic: set as default domain so we can access from ACPI