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

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 74f763f19e2fc582b4ab064e66a9c82bec0e65e2
Author: Sven Schnelle <svens at stackframe.org>
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 <svens at stackframe.org>

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

-gerrit