Re: [fedora-arm] missing kernel rpm causing troubles