[PATCH v2] tee: optee: allow enabling the driver on RISC-V