futex: several fixes to boot pi-cv augmented kernel

Mainly realated to spinlocks being not released.