[PATCH] Better timer and RTC handling for 8641HPCN.

[Haiying Wang]

> And we're to change the NR_IRQS-10 to a hard 64 as well, right?
> 
If we need change to hard value here, we should use 80 instead 64
because there are 16 interrupt sources for 8259, 48 for internal, 12 for
external.

Haiying