xeon kernel config updated