changed argument -kb for kernel branch