[coreboot] r3944 build service