[coreboot] r3825 build service