Re: [Linaro-uefi] [PATCH v6 23/23] Platforms/Marvell: Enable compilation with aarch64-linux-gnueabi toolchain