[PATCH v4 0/8] tee: Improve support for kexec and kdump