Update to kernel

[rjd324]

Does ssolie have any idea when the new kernel update will be released?

I know that a good portion of developers are beta testers (or it seems that way) but I am not in that intersection. I am not a beta tester and would really like to start having access to the working spotless debugger.

I still cannot remember if cmd line gdb works. Should go and test it but not at the computer right now.