check-sr-results: ethernet devices option is an int

Stronger typing for `--ethernet-devices' options, which allows rejecting
invalid integers sooner.

Signed-off-by: Vincent Stehlé <vincent.stehle@arm.com>