Removed old code from config.py, made kernel work with the new config system
Merge branch 'zebr' of https://github.com/rasmusprentow/red into zebr