Paul,
The calculation for the number of interrupts lost when the
RTC stops generating interrupts seems to be broken for HZ=1000
Also, the following patch returns more accurate lost interrupt
data (At the cost of some accounting for every interrupt)
Let me know if you think the accounting is unnecessary
Thanks
Dinakar