diff --git a/repos/base-okl4/ports/okl4.hash b/repos/base-okl4/ports/okl4.hash
index 5b28fccf1c..e2719fad1e 100644
--- a/repos/base-okl4/ports/okl4.hash
+++ b/repos/base-okl4/ports/okl4.hash
@@ -1 +1 @@
-1587282c0baab8db0418bf2cb9152b005bb70210
+0cffcbd05f45c95a6e3346cb944a75fe5d6e86a2
diff --git a/repos/base-okl4/ports/okl4.port b/repos/base-okl4/ports/okl4.port
index 7ab965d647..44d7b6d0c8 100644
--- a/repos/base-okl4/ports/okl4.port
+++ b/repos/base-okl4/ports/okl4.port
@@ -6,5 +6,5 @@ URL(okl4) := https://genode.org/files/okl4_2.1.1-patch.9.tar.gz
 SHA(okl4) := ff3062344fd6b0a3bd69d99583aa271d3bb13911
 DIR(okl4) := src/kernel/okl4
 
-PATCHES   := $(wildcard $(REP_DIR)/patches/*.patch)
+PATCHES   := $(sort $(wildcard $(REP_DIR)/patches/*.patch))
 PATCH_OPT := -p1 -d src/kernel/okl4