[PATCH v5 05/12] tee: increase TEE_MAX_ARG_SIZE to 4096