Re: [SeaBIOS] [PATCH 1/6] Introduce floppy_dor_mask()