[fedora-arm] Re: Installing Updated Kernel on Raspberry Pi