I've tagged a new release of SeaBIOS. For more information on the release, please see:
New in this release is:
* Support for 32bit PCI BIOS * Support for int1589 calls * MPTable fixes for OpenBSD * ATA DMA and bus-mastering support * Several bug fixes and code cleanups
For information on obtaining SeaBIOS, please see:
-Kevin