[SeaBIOS] Re: Custom-sized, large floppy images?