also make no_timer_check to be global on 64 bit, because vmi_32 is using that.
Signed-off-by: NYinghai Lu <yhlu.kernel@gmail.com>
Signed-off-by: NIngo Molnar <mingo@elte.hu>