[SeaBIOS] [PATCH v2 0/2] Add IPMI support to SEABIOS

This is a resend of basically the same code as before, to get things
rolling again.

-corey