Dennis, I had similar problems and when trying to install the kernel wouldn't be installed (errors about problems with the installation of kernel..... file)
Have you tryed to install it? -- Francisco Alcaraz Ariza Departamento de Biolog�a Vegetal Universidad de Murcia E-30100 Murcia Espa�a (Spain)
