hw & arm_v6: fix bug in calculation of kernel SP

For ARMv6, this aspect wasn't updatet to the new kernel-stack
managment that came up with SMP support.

ref #1199