[coreboot] r3137 build service