Allow overriding the kernel version with $TARGET_KERNEL_USE.

Several devboard targets have adopted the convention of allowing the
kernel version to be overridden by setting $TARGET_KERNEL_USE. Let's
adopt that convention for goldfish as well.

Change-Id: I3dd294eeb13609465c2e9886188c451f01029aef
4 files changed