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