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