Re: [SeaBIOS] [coreboot] Manually patched SeaBIOS rel-1.7.3-97-g6233543