[Tock Devel] New tock-registers design