Added updated Def-configs for DiabloKernel