'Summon a kernel object'

def kernel(self, base_tree, results_dir='', tmp_dir='', leave=False):

    (results_dir, tmp_dir) = self.setup_dirs(results_dir, tmp_dir)
    build_dir = 'linux'
    return kernel.auto_kernel(self, base_tree, results_dir, tmp_dir, build_dir, leave)
