[PATCH] x86_64: to use lapic ids instead of initial apic ids