add a config option for enabling kernel debugging symbols