[coreboot-gerrit] Patch set updated for coreboot: 5a9aab3 slippy: Update interrupt routing