Fix Kconfig options (had double CONFIG_ in them!) and make use of #defines throughout.
Rudimentary DIOS task detection hack (fixed for newer kernel versions that have a struct for the filename).