[coreboot] New patch to review: 7793ddb X60: use EC events 0x50/0x58 instead of GPIO GPE for Docking/Undocking