use 71X branch for mic build