[coreboot] r3131 build service