Patch from David Vrabel

ixp4xx_gettimeoffset uses an incorrectly rounded divisor. This results in a non-monotonic clock.