kernel config additions