rk3399: Loading OP-TEE by SPL?