Re: [PATCH v4 7/8] tpm_ftpm_tee: Free and unregister TEE shared memory during kexec