[coreboot-gerrit] New patch to review for coreboot: a96b2b9 sconfig: add cpu device type