I think it's normal, I have seen a few gears that have some weird target hashrate but as long as the actual hashrate is within normal range then all good, but that doesn't seem to be the case here with 12.5TH assuming his gear is S9k it has to be over 13th for all batches/versions unless he has a few bad chips here and there.

elfarto69 how long has this miner been online? also, what was the average hashrate on the stock firmware?