Expose --kernel arg for selecting kernel on console and qtconsole