diff --git a/hermit/usr/pte b/hermit/usr/pte
index d95172f98..a7516abd3 160000
--- a/hermit/usr/pte
+++ b/hermit/usr/pte
@@ -1 +1 @@
-Subproject commit d95172f98a56d4a300a438112a1220d6489168be
+Subproject commit a7516abd3f59107fa7d3194660b25f6668d535d8