Re: [fedora-arm] Kernel failing to boot at guruplug