fixup: "timer: nova specific version of the service"
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
fixup "hw: core as lib"

ref #1199