[coreboot] r3928 build service