What are the apropriate tools to build a kernel for this machine? I'm running 'testing' at the moment and can't get a successful build. -Shafer