[coreboot-gerrit] Patch merged into coreboot/master: ce740c4 PIC i8259: Move #defines and functions to i8259.h