Update validus.dependencies

And another kernel change...