[SeaBIOS] [PATCH 8/8] floppy: Actually do controller reset in floppy_reset().