hw: re-enable kernel tests with the new run env

The new run env doesn't pass the "core_type" parameter at one point
which is why we have to pass it through a global HW-specific variable.

Ref #1464

tool/run/boot_dir/hw

@@ -18,20 +18,18 @@ proc run_boot_string { } {
 ##
 # Populate boot directory with binaries on hw
 #
-proc run_boot_dir {binaries {core_type core}} {
-	if {$core_type == "test"} {
+proc run_boot_dir {binaries} {
+
+	# adapt to wether this is a core-internal test or a common scenario
+	global core_test
+	if {[info exists core_test]} {
 		set core_bin "test-[run_name]"
 		set core_target "test/[run_name]"
-	} elseif {$core_type == "core"} {
+	} else {
 		set core_bin "core"
 		set core_target "core"
-	} else {
-		puts stderr "Error: Unknown core type '$core_type'"
-		exit -1
 	}
 
-	global run_target
-
 	# strip binaries
 	copy_and_strip_genode_binaries_to_run_dir $binaries