[fedora-arm] Re: Fwd: sd-host-bcm2835-not registering properly in f31 arm .raw files