[RFC PATCH 0/2] Integrate OP-TEE into the RISC-V boot flow