Add options for X11/SDL GUI and SMP support.

The bochs formula needs more work but this is at least a start:
- allow to choose between the X11 or SDL GUI interfaces (or use both if desired)
- allow to enable SMP emulation
If you insist however in this case I had the impression that 'unless A or B ...' was more readable than if 'without( A ) and without( B )'.