Install or remove Linux Kernel 3.7 in Linux Mint 14 or 13