[linux-morello] Run OP-TEE on Morello kernel issue