Tool to delete unnecessary code in Linux source based on .config file