Thanks for the fast response.
The reason for the confusion was that when I do a adb shell cat /proc/version, I get the same results for the
1. Original kernel from the update.zip and
2. The invisiblek_v6.1_stockkernel.img, they both show
Linux version 3.10.40-g4b17c14 (
[email protected]) (gcc...