[fedora-arm] Re: odroid hc2 mismatch between uboot and kernel dtb name