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