diff --git a/docs/reports/STM32F103-72.txt b/docs/reports/STM32F103-72.txt
index c55b20b7d..9df015768 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.8unstable
+*** Kernel:       1.5.0unstable
 *** Architecture: ARM Cortex-M3
 *** GCC Version:  4.4.2
 
@@ -89,15 +89,15 @@ Settings: SYSCLK=72, ACR=0x12 (2 wait states)
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 11.1 (Benchmark, messages #1)
---- Score : 221821 msgs/S, 443642 ctxswc/S
+--- Score : 223893 msgs/S, 447786 ctxswc/S
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 11.2 (Benchmark, messages #2)
---- Score : 185713 msgs/S, 371426 ctxswc/S
+--- Score : 187652 msgs/S, 375304 ctxswc/S
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 11.3 (Benchmark, messages #3)
---- Score : 185713 msgs/S, 371426 ctxswc/S
+--- Score : 187652 msgs/S, 375304 ctxswc/S
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 11.4 (Benchmark, context switch)
@@ -105,11 +105,11 @@ Settings: SYSCLK=72, ACR=0x12 (2 wait states)
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 11.5 (Benchmark, threads, full cycle)
---- Score : 173606 threads/S
+--- Score : 173605 threads/S
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 11.6 (Benchmark, threads, create only)
---- Score : 222516 threads/S
+--- Score : 222517 threads/S
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 11.7 (Benchmark, mass reschedulation, 5 threads)
@@ -133,7 +133,7 @@ Settings: SYSCLK=72, ACR=0x12 (2 wait states)
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 11.12 (Benchmark, mutexes lock/unlock)
---- Score : 586792 lock+unlock/S
+--- Score : 644680 lock+unlock/S
 --- Result: SUCCESS
 ----------------------------------------------------------------------------
 --- Test Case 11.13 (Benchmark, RAM footprint)
diff --git a/docs/reports/kernel.txt b/docs/reports/kernel.txt
index 05e75aa86..db6d927d6 100644
--- a/docs/reports/kernel.txt
+++ b/docs/reports/kernel.txt
@@ -2,7 +2,7 @@ Platform : ARM Cortex-M3
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -O2 -mthumb
-Kernel Size = 5280
+Kernel Size = 5236
 
 Platform : ARM Cortex-M3
 OS Setup : Minimal kernel
@@ -14,7 +14,7 @@ Platform : ARM Cortex-M3
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -Os -mthumb
-Kernel Size = 5048
+Kernel Size = 5044
 
 Platform : ARM Cortex-M3
 OS Setup : Minimal kernel
@@ -26,7 +26,7 @@ Platform : ARM Cortex-M3
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -Os -mthumb -ffixed-r7 -DCH_CURRP_REGISTER_CACHE=\"r7\"
-Kernel Size = 4768
+Kernel Size = 4844
 
 Platform : ARM Cortex-M3
 OS Setup : Minimal kernel
@@ -38,7 +38,7 @@ Platform : ARM7TDMI (ARM mode)
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -O2
-Kernel Size = 7976
+Kernel Size = 7892
 
 Platform : ARM7TDMI (ARM mode)
 OS Setup : Minimal kernel
@@ -50,7 +50,7 @@ Platform : ARM7TDMI (ARM mode)
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -Os
-Kernel Size = 7700
+Kernel Size = 7648
 
 Platform : ARM7TDMI (ARM mode)
 OS Setup : Minimal kernel
@@ -62,7 +62,7 @@ Platform : ARM7TDMI (ARM mode)
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -Os -ffixed-r7 -DCH_CURRP_REGISTER_CACHE=\"r7\"
-Kernel Size = 7276
+Kernel Size = 7344
 
 Platform : ARM7TDMI (ARM mode)
 OS Setup : Minimal kernel
@@ -74,7 +74,7 @@ Platform : ARM7TDMI (THUMB mode)
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -O2 -mthumb -DTHUMB -DTHUMB_PRESENT -DTHUMB_NO_INTERWORKING
-Kernel Size = 5100
+Kernel Size = 5140
 
 Platform : ARM7TDMI (THUMB mode)
 OS Setup : Minimal kernel
@@ -86,7 +86,7 @@ Platform : ARM7TDMI (THUMB mode)
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -Os -mthumb -DTHUMB -DTHUMB_PRESENT -DTHUMB_NO_INTERWORKING
-Kernel Size = 4940
+Kernel Size = 4968
 
 Platform : ARM7TDMI (THUMB mode)
 OS Setup : Minimal kernel
@@ -98,7 +98,7 @@ Platform : ARM7TDMI (THUMB mode)
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -Os -mthumb -ffixed-r7 -DCH_CURRP_REGISTER_CACHE=\"r7\" -DTHUMB -DTHUMB_PRESENT -DTHUMB_NO_INTERWORKING
-Kernel Size = 4680
+Kernel Size = 4776
 
 Platform : ARM7TDMI (THUMB mode)
 OS Setup : Minimal kernel
@@ -110,23 +110,23 @@ Platform : MSP430
 OS Setup : Full kernel
 Compiler : msp430-gcc (GCC) 3.2.3
 Options  : -O2
-Kernel Size = 5416
+Kernel Size = 5456
 
 Platform : MSP430
 OS Setup : Minimal kernel
 Compiler : msp430-gcc (GCC) 3.2.3
 Options  : -O2
-Kernel Size = 1156
+Kernel Size = 1160
 
 Platform : MSP430
 OS Setup : Full kernel
 Compiler : msp430-gcc (GCC) 3.2.3
 Options  : -Os
-Kernel Size = 5424
+Kernel Size = 5396
 
 Platform : MSP430
 OS Setup : Minimal kernel
 Compiler : msp430-gcc (GCC) 3.2.3
 Options  : -Os
-Kernel Size = 1156
+Kernel Size = 1160