[kernel] x86: Sync kernel config