[rbp/kernel] sync kernel config