t1: Update kernel version statement in defconfig

Change-Id: Idf147a5bbd1ce781a3c15ce355a888230868f143