Re: [Linaro-uefi] [PATCH 5/6] Platforms/AMD/Overdrive: fix GIC MMIO region sizes