[PATCH RFC 05/10] firmware: add RPMI TEE transport core