[coreboot-gerrit] Change in coreboot[master]: mainboard/supermicro/x11-lga1151: correct board ids