[PATCH] x86_64: Handle missing local APIC timer interrupts on C3 state