OP-TEE 3.19 SPMC status