Is the kernel, and its configuration, the same in Ubuntu 12.04 Desktop and Server? Thanks, John -- John Conover, conover at rahul.net, http://www.johncon.com/