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