[coreboot-gerrit] Patch merged into coreboot/master: fb494d6 baytrail: gpio: Add support for direct / dedicated IRQs