Adding CONFIG_HOTPLUG_SMT=y to common config. This options gets
automatically set based on X86 config. So adding it is purely
for consistency and will make no difference on resulting kernels.

Ignore: yes
Signed-off-by: Stefan Bader <stefan.bader@canonical.com>