This bug has been fixed as of linux-next-20160121. I just checked so looks like its handled.
delta = timekeeping_get_delta(tkr);
nsec = (delta * tkr->mult + tkr->xtime_nsec) >> tkr->shift;
251: 8b 15 00 00 00 00 mov 0x0(%rip),%edx # 257
<ktime_get_ts64+0x77>
257: 49 0f 45 c4 cmovne %r12,%rax
25b: 48 0f af c2 imul %rdx,%rax
25f: 48 03 05 00 00 00 00 add 0x0(%rip),%rax # 266
<ktime_get_ts64+0x86>
266: 48 d3 e8 shr %cl,%rax << correct
Jeff
