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