it seems I found a bit strange code snippet in apic_32.c:setup_boot_APIC_clock.We set local_apic_timer_verify_ok = 1 before checking the results. I thinkthe following patch make sense. Please take a look on.