- it doesn't make sense to have a default configuration for "x86" since   there are hundreds of possible OSes.
- it doesn't make sense to have a default configuration for "x86" since
  there are hundreds of possible OSes.

marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet