Diable WFI recent CVS entry

While browing the CVS entry of last night, I noticed a little incorrect detail in the diff for /castle/RiscOS/Sources/HWSupport/PortableHAL/s/StPortable:

+ ASSERT WFI_code_size = 9*4
LDMIA R0, {R0,R2-R8,LR} ; 9 words
STMIA R1, {R0,R2-R8,LR}
- ADD R2, R1, #9*4-1
+ ADD R2, R1, #WFI_code_size*4-1 <== That’s 9*4*4 – 1
MOV R0, #1
SWI XOS_SynchroniseCodeAreas

Good spot – should be fixed now.