Fix defconfig to show proper kernel version