[coreboot] r3640 build service