Run OP-TEE on Morello kernel issue