[coreboot] r3774 build service