Merge "Stub out the pinmux address range so that OT bootrom can boot."

shodan_infrastructure/SpringbokRiscV32.cs

diff --git a/shodan_infrastructure/SpringbokRiscV32.cs b/shodan_infrastructure/SpringbokRiscV32.cs
index fcfb791..b7a5c08 100644
--- a/shodan_infrastructure/SpringbokRiscV32.cs
+++ b/shodan_infrastructure/SpringbokRiscV32.cs
@@ -374,7 +374,7 @@
                     uint window = (uint)(offset >> 4);
                     if(window >= mmuNumWindows)
                     {
-                        this.Log(LogLevel.Warning, "Invalid window number {}", window);
+                        this.Log(LogLevel.Warning, "Invalid window number {0}", window);
                         return 0;
                     }
                     switch (offset & 15)
@@ -411,7 +411,7 @@
                     uint window = (uint)(offset >> 4);
                     if(window >= mmuNumWindows)
                     {
-                        this.Log(LogLevel.Warning, "Invalid window number {}", window);
+                        this.Log(LogLevel.Warning, "Invalid window number {0}", window);
                         return;
                     }
                     switch (offset & 15)