[fedora-arm] Installing Updated Kernel on Raspberry Pi