[fedora-arm] Custom kernel