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

the following patch was just integrated into master:
commit 7793ddb6ddb3040ecf4b49731e2cbb1779d55f1f
Author: Sven Schnelle 
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

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

-gerrit