Re: amd64/6414: BUG Dell R510 with Intel X5660 CPU fail to boot with the GENERIC.MP kernel

[Mark Kettenis]

This has been fixed in 4.7-current.  You may want to install a recent
snapshot, or wait until 4.8 is released.