x86-64: add "local_apic_timer_c2_ok" here too