[Bug 1197625] grub-tpm.efi split still needed?