update tock submodule
diff --git a/tock b/tock index 6e38588..6260afa 160000 --- a/tock +++ b/tock
@@ -1 +1 @@ -Subproject commit 6e38588c73dbd78d274c00ae7fb7789b78cf6856 +Subproject commit 6260afac204ae9f469abe9e2573cb51d3b124624
