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