Update validus.dependencies

Use new kernel branch