[coreboot-gerrit] [XS] Change in coreboot[main]: [WIP] arch/x86/include/mpspec: add comment to mpc_config_ioapic