Re: [SeaBIOS] [coreboot] Patch number 3 for floppy in SeaBIOS 1.7.3-117-g31b8b4e