[coreboot] r192 - buildrom-devel/config/platforms