[fedora-arm] Re: Kraxel's Kernel and VC4