Comment # 7 on bug 1182891 from Steffen Winterfeldt

Oh, sorry; it's a glitch from merging the different efi grub configs. I will
fix this.