Firmware Handoff for DT Overlay created by OP-TEE?