[coreboot-gerrit] New patch to review for coreboot: 3b74b0f NOTFORMERGE: See which I82801DX boards have SMM