ANDROID: ARM: Allow to choose appended kernel image

By default appended kernel image is Image.gz-dtb.
New config option BUILD_ARM_APPENDED_KERNEL_IMAGE_NAME
allows to choose between zImage-dtb and Image-dtb.

Change-Id: I1c71b85136f1beeb61782e4646820718c1ccd7e4
Signed-off-by: Dmitry Shmidt <dimitrysh@google.com>
Git-Repo: https://android.googlesource.com/kernel/common


Git-Commit: 4bdcc9366ab74f0880ba72f7a1a98391359f127f
[pdaly] Ported to ARM32
Signed-off-by: Patrick Daly <pdaly@codeaurora.org>