[PATCH] x86_64: avoid sending LOCAL_TIMER_VECTOR IPI to itself