[PATCH v6 04/10] optee: sync secure world ABI headers