[PATCH v4] rtc: optee: add RTC driver for OP-TEE RTC PTA