arm64: Use the kernel_image_name config option

Use the kernel_image_name config option to determine whether the kernel
image has dtb appended to it or not

Change-Id: I18dbe7bd13f884009fc8740f447bb20c5ff728ff
Signed-off-by: Rishabh Bhatnagar <rishabhb@codeaurora.org>
1 file changed