[PATCH] i386: add command line option "local_apic_timer_c2_ok"