[coreboot] r3962 build service