minor kernel config sync