[PATCH v2] tee: optee: add an RPMI ABI placeholder