Re: [Linaro-acpi] [PATCH v1 1/2] Include correct definition for gic init with no ACPI