[PATCH] x86_64: Allow to run main time keeping from the local APIC interrupt