[coreboot] [BuildROM] r265 - buildrom-devel/config/platforms