[coreboot] Patch merged into master: 7793ddb X60: use EC events 0x50/0x58 instead of GPIO GPE for Docking/Undocking

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 7793ddb6ddb3040ecf4b49731e2cbb1779d55f1f
Author: Sven Schnelle <svens at stackframe.org>
Date:   Mon Jul 11 18:36:16 2011 +0200

    X60: use EC events 0x50/0x58 instead of GPIO GPE for Docking/Undocking
    
    Change-Id: I674e5166f5fb7ba299e6f1231f30434a5bf731c5
    Signed-off-by: Sven Schnelle <svens at stackframe.org>

See http://review.coreboot.org/161 for details.

-gerrit