get Kernel Branch Name from kernelOptionName