Add missing type information to manually specified enable options or replace them by mkEnableOption where appropriate.
also enables debug feature on kernel