Comment 7 for bug 1787191

so we encounter this issue when building a c3 class instance in aws.

[ 0.092982] ftrace: allocating 28746 entries in 113 pages
[ 0.132089] divide error: 0000 [#1] SMP
[ 0.135169] Modules linked in:
[ 0.136000] CPU: 0 PID: 1 Comm: swapper/0 Not tainted 3.13.0-155-generic #205-Ubuntu
[ 0.136000] Hardware name: Xen HVM domU, BIOS 4.2.amazon 08/24/2006
[ 0.136000] task: ffff8800e9ef8000 ti: ffff8800e9f70000 task.ti: ffff8800e9f70000
[ 0.136000] RIP: 0010:[<ffffffff81d4b9f2>] [<ffffffff81d4b9f2>] smp_store_boot_cpu_info+0x58/0x191
[ 0.136000] RSP: 0000:ffff8800e9f71e98 EFLAGS: 00010286
[ 0.136000] RAX: 000000000000000e RBX: ffffffff81d18980 RCX: 0000000000000000
[ 0.136000] RDX: 0000000000000000 RSI: 00000000000000d0 RDI: ffff8800efc13380
[ 0.136000] RBP: ffff8800e9f71ec0 R08: ffffffff81d18988 R09: 0000000000000004
[ 0.136000] R10: ffffffff8180b6c0 R11: 0001f8ecf7bca282 R12: 0000000000013280
[ 0.136000] R13: 00000000ffffffff R14: 0000000000000100 R15: 000000000000d088
[ 0.136000] FS: 0000000000000000(0000) GS:ffff8800efc00000(0000) knlGS:0000000000000000
[ 0.136000] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
[ 0.136000] CR2: ffff8800effff000 CR3: 0000000001c0e000 CR4: 0000000000160670
[ 0.136000] Stack:
[ 0.136000] ffffffff81d18980 0000000000013280 0000000000000246 0000000000000100
[ 0.136000] 0000000000000000 ffff8800e9f71ef0 ffffffff81d4bb82 ffffffff81e5df18
[ 0.136000] ffff8800e9ef8650 0000000000000246 0000000000000001 ffff8800e9f71f00
[ 0.136000] Call Trace:
[ 0.136000] [<ffffffff81d4bb82>] native_smp_prepare_cpus+0x57/0x3e0
[ 0.136000] [<ffffffff81d404e1>] xen_hvm_smp_prepare_cpus+0x9/0x2e
[ 0.136000] [<ffffffff81d3a01b>] kernel_init_freeable+0xa7/0x1eb
[ 0.136000] [<ffffffff81727500>] ? rest_init+0x80/0x80
[ 0.136000] [<ffffffff8172750e>] kernel_init+0xe/0x130
[ 0.136000] [<ffffffff8174a88e>] ret_from_fork+0x6e/0xa0
[ 0.136000] [<ffffffff81727500>] ? rest_init+0x80/0x80
[ 0.136000] Code: 48 89 c7 41 83 cd ff 41 54 53 f3 a5 66 c7 80 da 00 00 00 00 00 be d0 00 00 00 0f b7 0d 20 a9 fc ff 8b 05 e2 c5 28 00 8d 44 01 ff <f7> f1 31 d2 89 05 c8 c2 fc ff 8d 81 ff 7f 00 00 f7 f1 89 c3 89
[ 0.136000] RIP [<ffffffff81d4b9f2>] smp_store_boot_cpu_info+0x58/0x191
[ 0.136000] RSP <ffff8800e9f71e98>
[ 0.268006] ---[ end trace b76376c23f194273 ]---
[ 0.270564] Kernel panic - not syncing: Attempted to kill init! exitcode=0x0000000b
[ 0.270564]