I keep visiting the two most likely places (javispedro and joergw) for a patched open kernel to appear, but no luck so far! I'm starting to suspect there's something wrong with this new kernel. Either it isn't the right kernel for the device, or Nokia has made it so you can't boot to an open kernel anymore. Both dreadful thoughts.