Add output to print_toolchain_version script to include info on the operating system and its kernel version.