Back to original kernel config file