[coreboot-gerrit] Patch merged into coreboot/master: packardbell/ms2290/mainboard.c: Do not guard int15 includes