[SeaBIOS] [coreboot] Patch number 4 for floppy in SeaBIOS

[Kevin O'Connor]

On Wed, Dec 11, 2013 at 04:17:51PM -0500, Kevin O'Connor wrote:
> On Wed, Dec 11, 2013 at 09:34:37PM +0100, Gelip wrote:
> > boot from other floppy and successfully boot :-) :-) :-)
> 
> That's great.  I'll try to clean up the patch and get it into the next
> seabios release.

I cleaned up the patches a bit and I have pushed them to my testing
repo on github.  Can you verify that things still work with a clean
checkout of that repo?

Thanks,
-Kevin