<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
Hardware: Gigabyte G41M-ES2L. coreboot-4.5-1083-g6295b8a57a<br /><br />How to reproduce:<br />Download Tails: <a href="https://tails.boum.org/torrents/files/tails-i386-2.10.torrent" target="_blank" rel="noopener noreferrer">https://tails.boum.org/torrents/files/tails-i386-2.10.torrent</a><br />dd to a usb-drive. Start coreboot and choose inside of seabios the usb-drive. Let it boot, shut it down. The shutdown would at the end create a kernel panic - or at least the capslock and the scroll-led on a PS2 keyboard are flashing.<br /><br />Serial output of coreboot stops as usual at the point when the kernel starts. So no usefull logfiles from crash.<br />  </body>
</html>