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