[coreboot] r3638 build service