I recently acquired a Samsung Series 9-900x3c and installed Ubuntu 12.04 LTS on it. Now I wanted to upgrade to the most recent kernel and after grabbing the packages from kernel.ubuntu.com/~kernel-ppa/mainline/ and installing them via dpkg Ubuntu fails to boot. I can select the appropriate Kernel version in grub but when I try to launch the Ubuntu with kernel 3.6 nothing happens. On the other hand Kernel 3.2.x works fine for me. Any suggestions what I can do to use the most recent Kernel? Thanks a lot in advance. Cheers JO