Show kernel version in /bin/hello