kernel with modded configs