Removed obsolete kernel config file.