diff --git a/hermit/usr/pte b/hermit/usr/pte
index f33b23b97..9b6f4812d 160000
--- a/hermit/usr/pte
+++ b/hermit/usr/pte
@@ -1 +1 @@
-Subproject commit f33b23b977620093967a17892b142eb40d73a811
+Subproject commit 9b6f4812d19be3c203b2ce743ed5906fc70d3d0e