[coreboot] r3961 build service