[Sound-open-firmware] [PATCH] timer: Add support for 64 bit timers.