[SeaBIOS] Re: Floppy drive configuration