On Mon, 21 Apr 2014 21:47:36 +0100 Colin Law wrote: > That looks OK, 3.13.0-24 is the correct kernel version for 14.04. Is > it working ok when you boot? > 3.2 is an old kernel you have lying around. You could remove that if > you wanted the space. Yes 3.13.0-24-generic is the working kernel. Thanks for your help. - Richard. -- Richard Kimber