[coreboot] r4007 build service