[coreboot] r3787 build service