[coreboot] r3765 build service