Comment 4 for bug 722950

This is fixed in the upstream by commit 9e5f70174ec960a0077f20bb74cb9f4da9b57e7b (and a warning removed by 5fcde03bf1e8cf74c186bcef6d705734f2d002c5). Grub also just recently tagged grub-2.02-beta3 with many more fixes. I think this one is major enough that, if the risk of a full transition to beta3 is considered high until more testing is done, then the above two commits should be pulled in as a patch.

This is a complete disabler for those trying to boot EFI over serial-redirected console, as it's likely F10 doesn't work, and neither does ^X.