[coreboot] r3942 build service