[coreboot] r3926 build service