Add the SMP option and the apic device in kernel configs. It is always added anyway from the builder scripts
Add the SMP option and the apic device in kernel configs. It is always added anyway from the builder scripts