[PATCH v3 0/7] tee: Improve support for kexec and kdump