Thanks, it's good to hear that the kernel works. I close the bug for now. Feel free to reopen if you encounter the problem again.