kernel-source/get_release_number.sh