support coolpi-cp4b-skh board

build-kernel.sh

@@ -31,7 +31,7 @@ echo
 echo "Please enter a number to select your machine"
 echo
 echo "0. Reset Directory"
-echo "1. cp4b"
+echo "1. cp4b-skh"
 echo "2. cp4b-hdmi-in"
 echo "3. cm5-evb"
 echo "4. cm5-evb-v11"
@@ -56,8 +56,8 @@ case $choice in
       ./build-kernel.sh
       ;;
     1)
-      echo "BOARD=cp4b"
-	  BOARD="cp4b"
+      echo "BOARD=cp4b-skh"
+	  BOARD="cp4b-skh"
       ;;
     2)
       echo "BOARD=cp4b-hdmi-in"
@@ -108,9 +108,9 @@ case $choice in
 GEN_DEBS="NO"
 
 case "$BOARD" in
-  cp4b)
-    cfg="rk3588s_cp4b_defconfig"
-    dtb="rk3588s-cp4.dtb"
+  cp4b-skh)
+    cfg="coolpi_linux_defconfig"
+    dtb="rk3588s-cp4-skh.dtb"
     txt_config_file="config_cp4b.txt"
     txt_extconf_file="extlinux_cp4b.conf"
     ;;