UBUNTU: [Packaging] debian/rules: Bring back 'editconfigs'

With the switch to the new annotations-only mechanism and the new
annotations script, the 'editconfigs' target was dropped for some
reason. It's usefull so bring it back.

Signed-off-by: Juerg Haefliger <juerg.haefliger@canonical.com>
Signed-off-by: Andrea Righi <andrea.righi@canonical.com>

debian/scripts/misc/kernelconfig

@@ -25,7 +25,7 @@ if [ -z "${gcc:-}" ] ; then
 fi
 
 if [ ${#} -ne 1 ] ; then
-	echo "Usage: $0 updateconfigs|defaultconfigs|genconfigs"
+	echo "Usage: $0 updateconfigs|defaultconfigs|genconfigs|editconfigs"
 	exit 2
 fi
 
@@ -35,6 +35,7 @@ case "${mode}" in
 	updateconfigs)  target="syncconfig" ;;
 	defaultconfigs) target="olddefconfig" ;;
 	genconfigs)     target="oldconfig" ;;
+	editconfigs)    ;;  # Target is set later based on user input
 	*) echo "ERROR: Invalid mode: ${1}" >&2
 	   exit 1 ;;
 esac
@@ -85,6 +86,17 @@ EOF
 		continue
 	fi
 
+	if [ "${mode}" = "editconfigs" ] ; then
+		while true ; do
+			echo -n "Do you want to edit configs for ${arch}-${flavour}? [Y/n] "
+			read -r choice
+			case "${choice,,}" in
+				y|"") target="menuconfig" ; break ;;
+				n)    target="syncconfig" ; break ;;
+			esac
+		done
+	fi
+
 	rm -rf build
 	mkdir build