[coreboot] Patch merged into coreboot/master: 74f763f Add basic ipmi support

the following patch was just integrated into master:
commit 74f763f19e2fc582b4ab064e66a9c82bec0e65e2
Author: Sven Schnelle 
Date:   Sun Jul 8 18:32:23 2012 +0200

Add basic ipmi support

Implements support code for talking to IPMI hardware that uses
    a KCS style interface.

Change-Id: I9895cc1bf29676115b167081b63b8a430e23eee5
    Signed-off-by: Sven Schnelle

Build-Tested: build bot (Jenkins) at Sun Jul  8 19:01:17 2012, giving +1
Reviewed-By: Sven Schnelle  at Mon Jul  9 10:41:05 2012, giving +2
See http://review.coreboot.org/1190 for details.

-gerrit