[Bug 1186884] Launching Tumbleweed under SEV-ES currently fails when kernel parses MOKVar EFI table