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