This counter can be read through etherbone, to check that the software
is properly running. Feature asked by GSI.

The cost is 84 bytes in code.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>