[Linaro-open-discussions] [RFC PATCH v0.1 18/25] arm64, irqchip/gic-v3, ACPI: Move MADT GICC enabled check into a helper