[coreboot-gerrit] New patch to review for coreboot: 25dc6e2 kontron/ktqm77: Clean up int15 handler