diff --git a/tool/boot/README b/tool/boot/README
index f19afc06f3..1a5e037e28 100644
--- a/tool/boot/README
+++ b/tool/boot/README
@@ -18,14 +18,14 @@ code respectively the download source of binaries are described below.
   configured via commandline.
 
   The changes are available from
-  https://github.com/alex-ab/morbo.git.
+  https://github.com/m-stein/morbo.git.
 
   git branch genode_bender
-  git commit 7909dd0b56c66400bfb9c1c4abf70d2c593b4902
+  git commit 3645d67dc0643b8aab008eb76a8e056636e5edee
 
 :'pulsar':
 
-  The 'pulsar' tool was obtained in binary form from 
+  The 'pulsar' tool was obtained in binary form from
   http://os.inf.tu-dresden.de/~us15/pulsar.
 
 :'unzip'
diff --git a/tool/boot/bender b/tool/boot/bender
index aace3536dd..d365444b24 100755
Binary files a/tool/boot/bender and b/tool/boot/bender differ
diff --git a/tool/run/boot_dir/nova b/tool/run/boot_dir/nova
index 5c95b1ed25..93707a099d 100644
--- a/tool/run/boot_dir/nova
+++ b/tool/run/boot_dir/nova
@@ -1,3 +1,31 @@
+#
+# Return Bender option that configures Bender's Intel HWP plugin
+#
+# \param --bender-intel-hwp-mode   Run the Intel HWP plugin of Bender in the
+#                                  given mode. Valid argument values are
+#                                     "off",
+#                                     "performance",
+#                                     "balanced", and
+#                                     "power_saving"
+#                                  The argument value defaults to
+#                                  "performance".
+#
+proc bender_intel_hwp_mode_option { } {
+
+	set opt [get_cmd_arg_first --bender-intel-hwp-mode "performance"]
+	if {$opt == "off"} {
+		return "intel_hwp_off"
+	} elseif {$opt == "performance"} {
+		return "intel_hwp_performance"
+	} elseif {$opt == "balanced"} {
+		return "intel_hwp_balanced"
+	} elseif {$opt == "power_saving"} {
+		return "intel_hwp_power_saving"
+	} else {
+		return "intel_hwp_performance"
+	}
+}
+
 proc binary_name_ld_lib_so { } { return "ld-nova.lib.so" }
 proc binary_name_core_a    { } { return "core-nova.a" }
 proc binary_name_timer     { } { return "nova_timer_drv" }
@@ -65,9 +93,9 @@ proc run_boot_dir {binaries} {
 	set options_bender ""
 
 	#
-	# Enable Intel HWP unconditionally
+	# Apply Intel HWP mode
 	#
-	append options_bender " intel_hwp"
+	append options_bender " [bender_intel_hwp_mode_option]"
 
 	if {[apply_microcode]} {
 		exec cp bin/micro.code [run_dir]/boot/