refresh x86 kernel config