new config options for kernel