[coreboot] r3132 build service