diff --git a/packages/genodelabs/default.nix b/packages/genodelabs/default.nix
index 4652173..01a94d9 100644
--- a/packages/genodelabs/default.nix
+++ b/packages/genodelabs/default.nix
@@ -30,7 +30,7 @@ let
       version = upstreamSources.lastModifiedDate;
       src = upstreamSources;
       nativeBuildInputs = [ expect gnumake tcl ];
-      patches = [ ./LIB.patch ./binary-labels.patch ];
+      patches = [ ./LIB.patch ./binary-labels.patch ./genode_dyn.ld.patch ];
       configurePhase = ''
         patchShebangs ./tool
         substituteInPlace repos/base/etc/tools.conf \
diff --git a/packages/genodelabs/genode_dyn.ld.patch b/packages/genodelabs/genode_dyn.ld.patch
new file mode 100644
index 0000000..a74a05f
--- /dev/null
+++ b/packages/genodelabs/genode_dyn.ld.patch
@@ -0,0 +1,18 @@
+diff --git a/repos/base/src/ld/genode_dyn.ld b/repos/base/src/ld/genode_dyn.ld
+index 5fa6ddc29e..2635c1644b 100644
+--- a/repos/base/src/ld/genode_dyn.ld
++++ b/repos/base/src/ld/genode_dyn.ld
+@@ -216,13 +216,6 @@ SECTIONS
+   .dynamic        :
+   {
+     *(.dynamic)
+-
+-    /*
+-     * Make sure to have a least one entry within the dynamic section, so the
+-     * dynamic sgement point to something valid in case there are no dynamic
+-     * symbols
+-     */
+-    LONG(0x0);
+    } : rw : dynamic
+ 
+   /* merge .got.plt and .got into .got, since the ARM toolchain for OKL4