diff --git a/tool/boot/README b/tool/boot/README
index 65e5d9d6b..fc26340a9 100644
--- a/tool/boot/README
+++ b/tool/boot/README
@@ -7,8 +7,7 @@ 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. Relocation can be disabled by the commandline option
-  "norelocate".
+  to 2G physical. Additional, relocation can be limited to 256M for sel4.
   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 d110b8771..7b4588b78 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 b6b433712..5efb32181 100644
--- a/tool/run/boot_dir/sel4
+++ b/tool/run/boot_dir/sel4
@@ -52,7 +52,7 @@ proc run_boot_dir {binaries} {
 		puts $fh "timeout 0"
 		puts $fh "default 0"
 		puts $fh "\ntitle Genode on seL4"
-		puts $fh " kernel /boot/bender norelocate"
+		puts $fh " kernel /boot/bender phys_max=256M"
 		puts $fh " module /sel4 disable_iommu"
 		puts $fh " module /image.elf"
 
@@ -71,7 +71,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 norelocate"
+		puts $fh " exec /boot/bender phys_max=256M"
 		puts $fh " load /sel4 disable_iommu"
 		puts $fh " load /image.elf"
 		close $fh