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