[Trusted-services] OP-TEE S-EL1 SPMC broken