Update kernel config files