Consider including an x86 kernel with SMP support

Currently, we use two kernels, one for x86 and one for x86_64. The x86 one doesn’t seem to have any SMP support, however, there are x86 processors, which are only 32bit, but contain 2 cores, like the one’s that can be found in x60’s. We currently use the following kernel: linux-image-3.16.0-4-586 which doesn’t have SMP support enabled in the kernel.

There are a few solutions possible as we see here:

1) Include linux-image-3.2.0-4-686-pae as a third kernel for SMP and find out a way to detect CPU’s who support this in some way.
2) Replace linux-image-3.16.0-4-586 with linux-image-3.2.0-4-686-pae and still support a large array of devices from say, pentium3 and on.
3) Fill Debian bug to get SMP support in for linux-image-3.16.0-4-586 and drop including linux-image-3.2.0-4-686-pae

Feature Branch: feature/10298-linux-4.x-aufs

Related issues

• Blocked by #10298 (closed)

Original created by @Dr_Whax on 8485 (Redmine)