diff --git a/pk b/pk
index 2efabd3e660..abadfdc507d 160000
--- a/pk
+++ b/pk
@@ -1 +1 @@
-Subproject commit 2efabd3e6604b8a9e8f70baf52f57696680c7855
+Subproject commit abadfdc507d5a75b6272dc360e70a80a510c758a
diff --git a/spike b/spike
index f7d0dba6012..88fc84ded15 160000
--- a/spike
+++ b/spike
@@ -1 +1 @@
-Subproject commit f7d0dba6012d49cb75b2f175a31a85cf4b2db3b3
+Subproject commit 88fc84ded155a9e01987c4dfb7a77800e69b232b