tree 8a9c7dc144c852b5bf95f3ed9d2fa976f93be96d
parent 070053c6abf1d2d23a9cbbcf910db139fde8100c
author Rashed Abdel-Tawab <rashed@linux.com> 1484034190 -0500
committer Rashed Abdel-Tawab <rashed@linux.com> 1484859433 -0500
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iQEcBAABAgAGBQJYgSgpAAoJENjXVmt7UXwyiP8H/2AQh+OZOgQ4mpbynxj+Tq4c
 tOX4I+iCr4HEYEzfPZM/E7OYpS4MYpzAsUW/ohgJb/r+wQX0cPAscgFF9/Glv0GM
 MlQ5b14+lyvF4K1pbXng5l0NTs0gr4/FvEhy0LiTm28auMdqtu1YwDjvNJfB0P71
 C1V3h2lqslVKYMnuINJtPKwNt+cgp274dbDlky/5PnOkLSvgIy4ISyI8YLaokZGy
 2tQoE9NPxLwji1WNDzVNzBLYUmfNZsefDhVuxuS6DGeKuCX5/D8SX5pdsJXZ4wws
 0FowxBkXRciv7hv0ddt380tgvedbFn0Kd9tggzzQOlqBXCNjM3dVPodF5N3PTBw=
 =3175
 -----END PGP SIGNATURE-----

build: Append -dtb to kernel image name if TARGET_KERNEL_APPEND_DTB is set

Currently devices that have TARGET_KERNEL_APPEND_DTB set also have to set
BOARD_KERNEL_IMAGE_NAME to Image.gz-dtb (or zImage-dtb on arm32) in order
to properly build the image with an appended DT. Automatially append -dtb
if TARGET_KERNEL_APPEND_DTB is set so BOARD_KERNEL_IMAGE_NAME does not need
to be set.

Change-Id: I5464c67092a7b9f86669902e5c0e4a47836f7cbd