[coreboot-gerrit] New patch to review for coreboot: packardbell/ms2290/mainboard.c: Do not guard int15 includes