[U-Boot] SPL load ARM Trusted Firmware BL31?