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.