use sed to find linux_proc_banner

Closes #24

Signed-off-by: Pavel Boldin <boldin.pavel@gmail.com>

run.sh

@@ -1,12 +1,7 @@
 #!/bin/sh
 
 find_linux_proc_banner() {
-	$2 awk '
-	/linux_proc_banner/ {
-		if (strtonum("0x"$1))
-			print $1;
-		exit 0;
-	}' $1
+	$2 sed -n -E 's/^(f[0-9a-f]+) .* linux_proc_banner$/\1/p' $1
 }
 
 echo "looking for linux_proc_banner in /proc/kallsyms"