Karma needed for builds intended for TC1

[John Reiser]

> http://tflink.fedorapeople.org/iso/20120424_f17-preTC1.x64.boot.iso

EFI booting eventually fails.  I see the splash screen (night sky with
aurorae), the 5-second count down, allocating 1239 pages, "[Linux-EFI,
setup=...]", some flashes similar to VGA reset, then the ordinary Grub
boot of my already-installed system.  I do not see the "[Initrd, addr=..."
message which appears on a successful EFI boot of Fedora-17-Beta-RC4-x86_64-DVD.

--