[coreboot] Kernel Panic with coreboot on Tails Linux

[i1w5d7gf38keg at tutanota.com]

Hardware: Gigabyte G41M-ES2L. coreboot-4.5-1083-g6295b8a57a

How to reproduce:
Download Tails: https://tails.boum.org/torrents/files/tails-i386-2.10.torrent
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.

Serial output of coreboot stops as usual at the point when the kernel starts. So no usefull logfiles from crash.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.coreboot.org/pipermail/coreboot/attachments/20170303/d493bce5/attachment.html>