[SeaBIOS] [PATCH 2/2] floppy: Allow floppy code to be used with coreboot.