Investigate enabling/adding OP-TEE support in our CI pipeline

RK3588 support has landed in upstream OP-TEE, so we can easily add support in our CI pipline.