I have Mint 14 and wanna try out the 3.8 kernel. I don't know the commands to install it.