vms: Add Linux kernel with debug facilities

Adds a new vmlinuz-debug target that builds the linux kernel with debug
facilities. It is based on config_release but with the following set:

CONFIG_DEBUG_INFO=y
CONFIG_RANDOMIZE_BASE=n
CONFIG_FUNCTION_TRACER=y
CONFIG_BINFMT_SCRIPT=y

The qemu_strace.sh script was modified as well to start the debug kernel
by default.

utils/linux/qemu_strace.sh

@@ -22,7 +22,7 @@ if [ -z ${BUILD_DIR+x} ]; then
 fi
 
 if [ -z ${KERNEL_PATH+x} ]; then
-  KERNEL_PATH="$(pwd)/vm_cross_compile/bin/bzImage-release"
+  KERNEL_PATH="$(pwd)/vm_cross_compile/bin/bzImage-debug"
 fi
 
 if [ -z ${INITRD_PATH+x} ]; then

vms/linux/CMakeLists.txt

@@ -36,7 +36,6 @@ macro(add_vmlinux NAME)
         COMMAND sync
         VERBATIM
     )
-    # install(TARGETS ${NAME} DESTINATION bin)
 endmacro(add_vmlinux)
 
 macro(add_userspace NAME)
@@ -45,6 +44,7 @@ macro(add_userspace NAME)
 endmacro(add_userspace)
 
 add_vmlinux(release)
+add_vmlinux(debug)
 
 add_userspace(init init.cpp)