diff --git a/repos/base-hw/src/core/kernel/cpu.cc b/repos/base-hw/src/core/kernel/cpu.cc
index 089cae5ac..007e97a94 100644
--- a/repos/base-hw/src/core/kernel/cpu.cc
+++ b/repos/base-hw/src/core/kernel/cpu.cc
@@ -19,6 +19,7 @@
 #include <kernel/irq.h>
 #include <kernel/pd.h>
 #include <pic.h>
+#include <board.h>
 #include <hw/assert.h>
 #include <hw/boot_info.h>
 
diff --git a/repos/base-hw/src/core/spec/x86_64/muen/board.h b/repos/base-hw/src/core/spec/x86_64/muen/board.h
index 64f78b303..3ae097478 100644
--- a/repos/base-hw/src/core/spec/x86_64/muen/board.h
+++ b/repos/base-hw/src/core/spec/x86_64/muen/board.h
@@ -14,11 +14,10 @@
 #ifndef _CORE__SPEC__X86_64__MUEN__BOARD_H_
 #define _CORE__SPEC__X86_64__MUEN__BOARD_H_
 
-#include <drivers/uart/x86_pc.h>
+#include <hw/spec/x86_64/pc_board.h>
 
 namespace Board {
-	struct Serial;
-	enum Dummies { UART_BASE, UART_CLOCK };
+	using namespace Hw::Pc_board;
 
 	enum {
 		TIMER_BASE_ADDR         = 0xe00010000,
@@ -34,9 +33,4 @@ namespace Board {
 	};
 }
 
-
-struct Board::Serial : Genode::X86_uart {
-	Serial(Genode::addr_t, Genode::size_t, unsigned);
-};
-
 #endif /* _CORE__SPEC__X86_64__MUEN__BOARD_H_ */