Correct interdependecies for DIOS kernel configuration options.