Hi, I'm happy to help with any of the kernel activities. I'm running on X86_64 so that is where my interests lie at the moment but I also have access to i686. -- Jamie