<p>As discussed on IRC, this is not a suitable fix to work around broken UEFI firmwares that don't understand the Ctrl key.</p>

<p>We deliberately leave the watchdog running; if we unconditionally disable it then that would defeat the entire purpose of the watchdog timer.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br>Reply to this email directly or <a href="https://github.com/ipxe/ipxe/pull/38#issuecomment-124600809">view it on GitHub</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/AArTVCNmkS1toGoJ2vOik1x0YtIFAEk3ks5ognVhgaJpZM4FfWRH.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-124600809"></link>
    <meta itemprop="name" content="View Pull Request"></meta>
  </div>
  <meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>