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
Make this an `if` instead; I always find `unless ... or` really hard to parse.