tree 7d95fc6f8341d9dbe439650b5483cf84407227e3
parent b8d792d9f97250c640328f6638a239e968d44754
author Harrison Mutai <harrison.mutai@arm.com> 1738691920 +0000
committer Tom Rini <trini@konsulko.com> 1739318938 -0600

board: vexpress64: default to hardware device tree

When booting into the Linux kernel with semi-hosting, use the device
tree provided by hardware unless one is provided in the current
directory.

Signed-off-by: Harrison Mutai <harrison.mutai@arm.com>
Reviewed-by: Linus Walleij <linus.walleij@linaro.org>