Bug#983923: linux-image-4.19.0-13-cloud-amd64: Please add CONFIG_MAXSMP to the linux-image-cloud-amd64 kernel

[Salvatore Bonaccorso]

Gut feeling: This is out of scope for an update in stable. But if then
it would need probably discussion as well with the release team.

Ben, Bastian, opinions on this?

Salvatore