[coreboot] r3824 build service