Re: [SeaBIOS] coreboot and `Timeout at i8042_flush:71!`