<p>OK sorry. This has been explained to me properly on IRC now:</p>

<p>13:57   If you are using a USB keyboard, then you can work around the broken UEFI firmware by using iPXE's own USB keyboard driver<br>
13:57    (instead of the UEFI keyboard driver)<br>
13:58    You can trivially verify the the problem is independent of iPXE by e.g. booting straight into the UEFI shell<br>
13:58    You will find that, for example, "Ctrl-C" acts as just "C"</p>

<p>Which is great. It would be even better to know / have documented somewhere (relevant places) how users can do that!</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you commented.<br />Reply to this email directly or <a href="https://github.com/ipxe/ipxe/pull/38#issuecomment-217643434">view it on GitHub</a><img alt="" height="1" src="https://github.com/notifications/beacon/AArTVBkzZLqDDF8aK0ZlePKDTkxX1FvMks5p_KvqgaJpZM4FfWRH.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/ipxe/ipxe/pull/38#issuecomment-217643434"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>