Re: [SeaBIOS] [coreboot] Patch number 4 for floppy in SeaBIOS