Update SDK platform-tools revision to 13.

Change-Id: I0eefe31df11e31892f3574c1f8c05025b766b4e1
diff --git a/sdk/plat_tools_source.properties b/sdk/plat_tools_source.properties
index 47d71d5..0dc837a 100644
--- a/sdk/plat_tools_source.properties
+++ b/sdk/plat_tools_source.properties
@@ -1,2 +1,2 @@
 Pkg.UserSrc=false
-Pkg.Revision=12
\ No newline at end of file
+Pkg.Revision=13
\ No newline at end of file