build-kernel.sh: Fix vmlinux-armv7 naming.

This fixes a trivial typo that misnamed the name of the final
file containing Linux kernel symbols when building for ARMv7
only.

Change-Id: Ia4b6f320b670bfcc4329f584f572a28758689d96
Merge "build-kernel.sh: Fix vmlinux-armv7 naming."
build: Support V=1 to show build commands.

The emulator's build system supports using VIEW=1 to show build
commands, which are normally hidden by default, e.g.:

  make SHOW=1

This adds support for V=1, which is the convention used by other
similar build systems, like the Linux kernel one. The following
line is equivalent to the one above:

  make V=1

Change-Id: I54a21b152a6cf21ae87c703d2c1966904894cb7a
Merge "build: Support V=1 to show build commands."