[coreboot-gerrit] Patch set updated for coreboot: baytrail: fix missing brackets around ir_base to fix IRQ routing