diff --git a/tool/boot/README b/tool/boot/README
index 9c2a3e5d3..742da1a1d 100644
--- a/tool/boot/README
+++ b/tool/boot/README
@@ -7,7 +7,8 @@ code respectively the download source of binaries are described below.
   The 'bender' tool is part of the 'morbo' toolchain available under GPL.
   The toolchain was obtained from https://github.com/TUD-OS/morbo.
   For Genode the bender was modified so that binaries are only relocated up
-  to 2G physical.
+  to 2G physical. Relocation can be disabled by the commandline option
+  "norelocate".
   The changes are available on the genode_bender branch of
   https://github.com/alex-ab/morbo.git.
 
diff --git a/tool/boot/bender b/tool/boot/bender
index 0c3569f4c..e45d6fc4c 100755
Binary files a/tool/boot/bender and b/tool/boot/bender differ
diff --git a/tool/run/boot_dir/sel4 b/tool/run/boot_dir/sel4
index 3343979b3..6f9914933 100644
--- a/tool/run/boot_dir/sel4
+++ b/tool/run/boot_dir/sel4
@@ -173,7 +173,8 @@ proc run_boot_dir {binaries} {
 		puts $fh "timeout 0"
 		puts $fh "default 0"
 		puts $fh "\ntitle Genode on seL4"
-		puts $fh " kernel /sel4"
+		puts $fh " kernel /boot/bender norelocate"
+		puts $fh " module /sel4"
 		puts $fh " module /image.elf"
 
 		close $fh
@@ -191,7 +192,7 @@ proc run_boot_dir {binaries} {
 		# Generate pulsar config file
 		#
 		set fh [open "[run_dir]/config-52-54-00-12-34-56" "WRONLY CREAT TRUNC"]
-		puts $fh " exec /boot/bender"
+		puts $fh " exec /boot/bender norelocate"
 		puts $fh " load /sel4"
 		puts $fh " load /image.elf"
 		close $fh