Adaption to changes to kernel interface.

https://github.com/Starcounter/Starcounter/issues/1600