new kernel config options