Cleaned up build script from rebuilding locally generated sources

Also passed along -show-kernel option to the emulator core

Change-Id: Ic606a7a9cdac677cbd5ce9ca1a9f1a2b16da4dfa
diff --git a/vl-android.c b/vl-android.c
index c66e4e0..c136a07 100644
--- a/vl-android.c
+++ b/vl-android.c
@@ -355,6 +355,7 @@
 /* -dns-server option value. */
 char* android_op_dns_server = NULL;
 
+/* -radio option value. */
 char* android_op_radio = NULL;
 
 /* -gps option value. */
@@ -5892,6 +5893,7 @@
             case QEMU_OPTION_android_hw:
                 android_op_hwini = (char*)optarg;
                 break;
+
             case QEMU_OPTION_dns_server:
                 android_op_dns_server = (char*)optarg;
                 break;
@@ -5920,6 +5922,10 @@
                 android_op_cpu_delay = (char*)optarg;
                 break;
 
+            case QEMU_OPTION_show_kernel:
+                android_kmsg_init(ANDROID_KMSG_PRINT_MESSAGES);
+                break;
+
 #ifdef CONFIG_MEMCHECK
             case QEMU_OPTION_android_memcheck:
                 android_op_memcheck = (char*)optarg;