[coreboot] r3719 build service