[PATCH] x86-64: fix x86_64-mm-sched-clock-share