diff --git a/hermit/usr/pte b/hermit/usr/pte
index afe1f9219..1bc0edca2 160000
--- a/hermit/usr/pte
+++ b/hermit/usr/pte
@@ -1 +1 @@
-Subproject commit afe1f92192e66ac3d659d2d7b1ec202d20d2605f
+Subproject commit 1bc0edca25b28c92c6a83e74f8a4350a8d0576fa