Bug#884762: linux-image-3.16.0-4-amd64: Kernel panic on boot (rest_init / build_sched_domains) make system unbootable

[Olivier Hanesse]

Hello,

We got the same issue on Vmware with this specific kernel.
VMs with more than 12 vcpus (we got 12 cpus / socket)  crashed at boot time.

Setting cpus to 12 is a workaround (if this can help people .. )

Regards