[coreboot] [PATCH] Seabios on Virtutech Simics x86-440bx model

[Magnus Christensson]

I'm attaching patches for seabios to make it work on the Virtutech 
Simics x86-440bx model. Please let me know if there is some other list 
that is preferred for seabios patches.

Patches 1-6 and 9 are not really related to the Virtutech model at all, 
so those would be prime candidates to be included in the mainline version.

M.