[SeaBIOS] Problems with coreboot, GRUB payload and SeaBIOS (was: coreboot and `Timeout at i8042_flush:71!`)