[PATCH RFC 03/10] firmware: add RPMI TEE bus support