timer return value is made consistent with the original (kernel) one