x86: refresh kernel config