Hi Neil: How should I go about installing the patched kernel? Here is what I have tried so far: http://paste2.org/JZwwhB0s I use VirtualBox, and it is upset that it can't find an appropriate version of the virtualbox-host-kmp-default package to go with the kernel. Nathan