I don't see the problems I had been having. Hopefully it was just a case of having the wrong kernel...