Peter pointed out that hrtick_enabled() should use cpu_active().
Signed-off-by: NIngo Molnar <mingo@elte.hu>