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