nova: base-nova specific spinlock replacement
tool: add thread test to autopilot list
nova: support Genode style priority propagation

Read the init documentation for more. This commits enables finally just
priorities for Genode.

Fixes #986