Yes, see this libreboot-supported laptop as an example: <a href="https:&#x2F;&#x2F;libreboot.org&#x2F;docs&#x2F;hcl&#x2F;x200.html" rel="nofollow">https:&#x2F;&#x2F;libreboot.org&#x2F;docs&#x2F;hcl&#x2F;x200.html</a><p><pre><code>  The X200, when run without CPU microcode updates in coreboot,
  currently kernel panics if running QEMU with vt-x enabled on 2 cores for the guest.
</code></pre>
Oops.