myri10ge: update firmware headers