gettimeofday with interrupts disabled

[Roland McGrath]

There are other parts of the kernel that call do_gettimeofday with
interrupts disabled and locks held, for whatever that's worth.