Merge branch 'cross-debug' into 'master'

Use gdb-multiarch for make gdb to support debugging an arm vm on x86 and vice versa

See merge request !1431

Makefile

@@ -89,6 +89,7 @@ else
 	bash
 endif
 
+export RUST_GDB=gdb-multiarch # Necessary when debugging for another architecture than the host
 gdb: FORCE
 	gdb cookbook/recipes/core/kernel/target/$(TARGET)/build/kernel.sym --eval-command="target remote localhost:1234"