As I too lack /home/user/.kernel I assume it is made for user modded profiles and not at installation.
kernel-config save profile