[coreboot] romcc -mcpu=p3?