[PATCH] optee: sync OP-TEE headers