Fixing hpcmips (vr41xx) timer initialization.
Authored by: debug 2006-10-02
Parent: [r4461]
Child: [r4463]