Merge "extensions: libxt_TEE: Trim kernel struct to allow deletion"