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