Update cip-kernel-config branch selection
There has just been a commit added to cip-kernel-config ("Rename top-level directories to match kernel branch names") that changes the directory structure. This breaks the way we locate Kernel configs in build_kernel.sh.