[PATCH] x86_64: Only switch to IPI broadcast timer on Intel when C3 is supported