Bug#429695: grub-efi: key combinations requiring ctrl do not work

[Felix Zielcke]

Hello,

Marco from upstream just told me on IRC that this problem might have
been fixed by apple already.

So please make sure you're running the latest firmware version.
In case it still happens, then please try out the patch from Robert

http://bugs.debian.org/cgi-bin/bugreport.cgi?msg=29;filename=efi_at.diff;att=1;bug=429695


-- 
Felix Zielcke