[Sound-open-firmware] [PATCH] timer: use 64 bit timestamps