Update validus.dependencies

Change kernel source to teammex