I've experimented with two different Odroid C2 boards and the behavior is the same: When I tell it to output 5.1, I consistently get 7.1.
As a practical matter, this doesn't hurt anything, at least not in my setup, but I thought it was worth mentioning.