Re: [Linaro-uefi] [PATCH v4 1/3] Platforms/Marvell: Fixup VOID* PCD declarations