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