[fedora-arm] Re: Odroid-HC1 won't boot