Re: [U-Boot] [PATCH 07/17] armv8: SPL: only compile GIC code if needed