diff --git a/base/src/platform/genode.ld b/base/src/platform/genode.ld
index a640a5e0e4..14a7e51c60 100644
--- a/base/src/platform/genode.ld
+++ b/base/src/platform/genode.ld
@@ -63,6 +63,12 @@ SECTIONS
 		LONG(0xffffffff);
 		_parent_cap_local_name = .;
 		LONG(0xffffffff);
+		LONG(0xffffffff);
+		LONG(0xffffffff);
+		LONG(0xffffffff);
+		LONG(0xffffffff);
+		LONG(0xffffffff);
+		LONG(0xffffffff);
 
 		/*
 		 * Platform-specific entry for Fiasco.OC.
diff --git a/os/src/platform/genode_dyn.ld b/os/src/platform/genode_dyn.ld
index 613a6b17c3..f23a7e0b99 100644
--- a/os/src/platform/genode_dyn.ld
+++ b/os/src/platform/genode_dyn.ld
@@ -103,6 +103,10 @@ SECTIONS
      LONG(0xffffffff);
      LONG(0xffffffff);
      LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
   } : rw
 
   /* Exception handling  */
diff --git a/os/src/platform/genode_rel.ld b/os/src/platform/genode_rel.ld
index 9e8845ae4f..ff9ac0c8d1 100644
--- a/os/src/platform/genode_rel.ld
+++ b/os/src/platform/genode_rel.ld
@@ -105,6 +105,12 @@ SECTIONS
      LONG(0xffffffff);
      _parent_cap_local_name = .;
      LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
+     LONG(0xffffffff);
 
     /*
      * Platform-specific entry for Fiasco.OC.