Comment 2 for bug 1157757

A bit more detail gather with dynamic debugging from smpboot.c:

[ 0.060482] Switched APIC routing to physical flat.
[ 0.064169] ..TIMER: vector=0x30 apic1=0 pin1=2 apic2=0 pin2=0
[ 0.104917] smpboot: CPU0: Genuine Intel(R) CPU 0000 @ 2.60GHz (fam: 06, model: 3c, stepping: 02)
[ 0.108010] Xen: using vcpuop timer interface
[ 0.108983] installing Xen timer for CPU 0
[ 0.110050] cpu 0 spinlock event irq 70
[ 0.110990] Performance Events: generic architected perfmon, Intel PMU driver.
[ 0.112000] ... version: 3
[ 0.112014] ... bit width: 48
[ 0.112444] ... generic registers: 8
[ 0.112855] ... value mask: 0000ffffffffffff
[ 0.113308] ... max period: 000000007fffffff
[ 0.113773] ... fixed-purpose events: 3
[ 0.114198] ... event mask: 00000007000000ff
[ 0.115947] NMI watchdog: enabled on all CPUs, permanently consumes one hw-PMU counter.
[ 0.116065] register_vcpu_info failed: err=-22
[ 0.116530] cpu 1 spinlock event irq 71
[ 0.117006] smpboot: ++++++++++++++++++++=_---CPU UP 1
[ 0.117454] smpboot: Booting Node 0, Processors #1
[ 0.118035] smpboot: Setting warm reset code and vector.
[ 0.118865] smpboot: Asserting INIT
[ 0.119271] smpboot: Waiting for send to finish...
[ 0.129476] smpboot: Deasserting INIT
[ 0.130030] smpboot: Waiting for send to finish...
[ 0.131008] smpboot: #startup loops: 2
[ 0.131987] smpboot: Sending STARTUP #1
[ 0.132018] smpboot: After apic_write
[ 0.133330] smpboot: Startup point 1
[ 0.134282] smpboot: Waiting for send to finish...
[ 0.135493] smpboot: Sending STARTUP #2
[ 0.136021] smpboot: After apic_write
[ 0.137283] smpboot: Startup point 1
[ 0.138224] smpboot: Waiting for send to finish...
[ 0.139395] smpboot: After Startup
[ 0.140016] smpboot: Before Callout 1
[ 0.140982] smpboot: After Callout 1
[ 5.051050] smpboot: CPU1: Stuck ??
[ 5.051712] smpboot: do_boot_cpu failed 1
[ 5.052062] Brought up 1 CPUs
[ 5.052520] smpboot: Boot done