defconfig: append kernel version to name