Default kernel config refinements