[coreboot] r3788 build service