fix getKernelBranchName