The generic timer has an overflow check to ensure the frequency doesn't
overflow a 32-bit integer. As this driver now correctly used 64-bit
counts this check is unneeded.

The code came from the old mpcore_timer.c driver where it was needed
as the counter was 32-bit.

Sponsored by: Arm Ltd