Improvements in kernel configuration