Re: [Linaro-uefi] [PATCH v2 0/3] Add support for ATF BL32_EXTRA1 and BL32_EXTRA2