more cleanup of kernel configuration