diff --git a/repos/base-hw/src/bootstrap/platform.cc b/repos/base-hw/src/bootstrap/platform.cc
index 112bf21f5a..86584d1f21 100644
--- a/repos/base-hw/src/bootstrap/platform.cc
+++ b/repos/base-hw/src/bootstrap/platform.cc
@@ -150,9 +150,8 @@ Mapping Platform::_load_elf()
 
 void Platform::start_core(unsigned cpu_id)
 {
-	typedef void (* Entry)(unsigned);
-	Entry __attribute__((noreturn)) const entry
-		= reinterpret_cast<Entry>(core_elf.entry());
+	typedef void (* Entry)(unsigned) __attribute__((noreturn));
+	Entry const entry = reinterpret_cast<Entry>(core_elf.entry());
 	entry(cpu_id);
 }