diff --git a/hermit/usr/pte b/hermit/usr/pte
index 2aff438d7..38ea4cd36 160000
--- a/hermit/usr/pte
+++ b/hermit/usr/pte
@@ -1 +1 @@
-Subproject commit 2aff438d76d11c2d8e9efc274d639f8e0fef455b
+Subproject commit 38ea4cd363bb9ecbdcc85cd50018c44544480132