[Tee-dev] eMMC driver in OP-TEE?