https://patchwork.kernel.org/patch/2423361/ &
https://patchwork.kernel.org/patch/2423371/
	modified:   kernel/hrtimer.c