Re: [PATCH v4 00/21] Enable ARM Trusted Firmware for U-Boot