rockchip: rk3288-evb: update config to support OPTEE