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