[coreboot] r4005 build service