[PATCH] confdefs.h: Add SMP enabled field to configuration

[Chris Johns]

On 12/05/2017 18:11, Sebastian Huber wrote:
> Do not use the processor count to determine if SMP is enabled.  Instead
> use a dedicated configuration option.  Enable SMP by default in SMP
> configurations.
>
> Add CONFIGURE_DISABLE_SMP_CONFIGURATION to all test which would fail
> otherwise.
>

I think adding a comment to the test explaining the reason would be good 
to have.

Chris