Bugfix: kernel config for WDK is undefined. CI fails

config/boards/wdk2023.wip

@@ -19,6 +19,7 @@ function post_family_config_branch_wdk2023__jg_kernel() {
 	declare -g KERNEL_MAJOR_MINOR="6.7" # Major and minor versions of this kernel.
 	declare -g KERNELBRANCH='branch:jg/wdk2023-gunyah-6.7-rc6'
 	declare -g KERNELSOURCE='https://github.com/jglathe/linux_ms_dev_kit.git'
+	declare -g LINUXCONFIG='linux-arm64-wdk2023'
 	display_alert "Set up jg's kernel ${KERNELBRANCH} for" "${BOARD}" "info"
 }