Re: [U-Boot] [PATCH v4 07/12] tools: mkimage: add tee-bootable image type