Print kernel version at bootup