diff --git a/docs/reports/STM32F103-48.txt b/docs/reports/STM32F103-48.txt
index 8a829998e..60d4cb797 100644
--- a/docs/reports/STM32F103-48.txt
+++ b/docs/reports/STM32F103-48.txt
@@ -5,7 +5,7 @@ Settings: SYSCLK=48, ACR=0x11 (1 wait state)
 
 *** ChibiOS/RT test suite
 ***
-*** Kernel:       1.3.0unstable
+*** Kernel:       1.3.1unstable
 *** Architecture: ARM Cortex-M3
 *** GCC Version:  4.3.3
 
@@ -71,7 +71,7 @@ Settings: SYSCLK=48, ACR=0x11 (1 wait state)
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 7.1 (Heap, allocation and fragmentation test)
---- Size  : 17092 bytes, not fragmented
+--- Size  : 16324 bytes, not fragmented
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 8.1 (Memory Pools, queue/dequeue)
diff --git a/docs/reports/STM32F103-72.txt b/docs/reports/STM32F103-72.txt
index 73e5cd0d8..2aeee176d 100644
--- a/docs/reports/STM32F103-72.txt
+++ b/docs/reports/STM32F103-72.txt
@@ -5,7 +5,7 @@ Settings: SYSCLK=72, ACR=0x12 (2 wait states)
 
 *** ChibiOS/RT test suite
 ***
-*** Kernel:       1.3.0unstable
+*** Kernel:       1.3.1unstable
 *** Architecture: ARM Cortex-M3
 *** GCC Version:  4.3.3
 
@@ -71,7 +71,7 @@ Settings: SYSCLK=72, ACR=0x12 (2 wait states)
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 7.1 (Heap, allocation and fragmentation test)
---- Size  : 17092 bytes, not fragmented
+--- Size  : 16324 bytes, not fragmented
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 8.1 (Memory Pools, queue/dequeue)
@@ -100,11 +100,11 @@ Settings: SYSCLK=72, ACR=0x12 (2 wait states)
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 12.2 (Benchmark, messages #2)
---- Score : 174745 msgs/S, 349490 ctxswc/S
+--- Score : 174744 msgs/S, 349488 ctxswc/S
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 12.3 (Benchmark, messages #3)
---- Score : 174745 msgs/S, 349490 ctxswc/S
+--- Score : 174744 msgs/S, 349488 ctxswc/S
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 12.4 (Benchmark, context switch)
@@ -124,7 +124,7 @@ Settings: SYSCLK=72, ACR=0x12 (2 wait states)
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 12.8 (Benchmark, I/O Queues throughput)
---- Score : 474888 bytes/S
+--- Score : 474884 bytes/S
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 12.9 (Benchmark, virtual timers set/reset)
@@ -136,7 +136,7 @@ Settings: SYSCLK=72, ACR=0x12 (2 wait states)
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 12.11 (Benchmark, mutexes lock/unlock)
---- Score : 601084 lock+unlock/S
+--- Score : 601088 lock+unlock/S
 --- Result: SUCCESS
 ----------------------------------------------------------------------------