diff --git a/repos/base-hw/ports/muen.hash b/repos/base-hw/ports/muen.hash
index fb83ab5864..f35ba7bb70 100644
--- a/repos/base-hw/ports/muen.hash
+++ b/repos/base-hw/ports/muen.hash
@@ -1 +1 @@
-f1615ee45298f31e598e4544bdf7bdda782da394
+a4ce6a1f3bc1209e4c9f8ecf163d7af354c188af
diff --git a/repos/base-hw/ports/muen.port b/repos/base-hw/ports/muen.port
index bb0edc82fe..65957e5e14 100644
--- a/repos/base-hw/ports/muen.port
+++ b/repos/base-hw/ports/muen.port
@@ -3,7 +3,7 @@ VERSION   := git
 DOWNLOADS := muen.git
 
 URL(muen) := https://git.codelabs.ch/git/muen.git
-REV(muen) := 73087542833cb3a9fbb13cd079e815ba4b77918f
+REV(muen) := 807cb0381e12329d84cb7e6b2f778b1e1559a2e8
 DIR(muen) := src/kernel/muen
 
 $(call check_tool,git)
diff --git a/repos/base-hw/src/core/spec/x86_64/muen/timer_driver.h b/repos/base-hw/src/core/spec/x86_64/muen/timer_driver.h
index bd1b1a6f5a..46a9e367a5 100644
--- a/repos/base-hw/src/core/spec/x86_64/muen/timer_driver.h
+++ b/repos/base-hw/src/core/spec/x86_64/muen/timer_driver.h
@@ -29,7 +29,7 @@ struct Kernel::Timer_driver
 	struct Subject_timed_event
 	{
 		Genode::uint64_t tsc_trigger;
-		Genode::uint8_t  event_nr :5;
+		Genode::uint8_t  event_nr :6;
 	} __attribute__((packed));
 
 	struct Subject_timed_event * event_page = 0;