[x86] sync kernel config