Commit a9e1a255189485fd9a537aa64c6595e7c2291db6

Con Kolivas 2011-07-23T15:15:46

Make it possible to select the choice of kernel on the command line.