Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  1) #!/usr/bin/awk -f
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  2) # SPDX-License-Identifier: GPL-2.0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  3) # extract linker version number from stdin and turn into single number
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) 	{
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) 	gsub(".*\\)", "");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6) 	gsub(".*version ", "");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) 	gsub("-.*", "");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) 	split($1,a, ".");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) 	print a[1]*100000000 + a[2]*1000000 + a[3]*10000;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) 	exit
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) 	}