[U-Boot] [PATCH v4 09/10] vexpress64: juno: add alternate kernel and device tree filenames