Fixes for Linux Mint 17
A new option to specify a specific kernel version for the live cd
Updated explanation of kernel version option