diff --git a/repos/base-sel4/ports/sel4.hash b/repos/base-sel4/ports/sel4.hash
index 33c6fdc71e..0789ddf4d7 100644
--- a/repos/base-sel4/ports/sel4.hash
+++ b/repos/base-sel4/ports/sel4.hash
@@ -1 +1 @@
-3924d15bdcc26504949236abbff4b0c3f3913955
+bcec842b37dfec2a17c0fb8b0564bced474bea0c
diff --git a/repos/base-sel4/ports/sel4.port b/repos/base-sel4/ports/sel4.port
index 05d10d4558..a447355c74 100644
--- a/repos/base-sel4/ports/sel4.port
+++ b/repos/base-sel4/ports/sel4.port
@@ -12,7 +12,7 @@ $(call check_python_module,future)
 $(call check_python_module,tempita)
 $(call check_python_module,ply)
 
-PATCHES   := $(wildcard $(REP_DIR)/patches/*.patch)
+PATCHES   := $(sort $(wildcard $(REP_DIR)/patches/*.patch))
 
 # adjust kernel config usable on qemu and on native hw, and add a 32bit version
 default: $(DOWNLOADS)