[coreboot-gerrit] Patch set updated for coreboot: 7aae1ca Lenovo X60: Add int15 handler