Update kernel config files for intel