The latest patch seems to work well.
/**** void OnReset() ****/
8000024: b580 push {r7, lr}
8000026: af00 add r7, sp, #0
8000028: 2003 movs r0, #3
800002a: f000 f885 bl 8000138
800002e: f8df 2004 ldr.w r2, [pc, #4] ; 8000034
8000032: 4710 bx r2
/**** @attribute("naked") void OnReset() ****/
_D5start7OnResetFZv():
8000024: 2003 movs r0, #3
8000026: f000 f883 bl 8000130
800002a: f8df 2004 ldr.w r2, [pc, #4] ; 8000030
800002e: 4710 bx r2