[coreboot] Is it possible to use an Ivy Bridge CPU in an Sandy Bridge laptop?