Re: [fedora-arm] Default to -lpae kernel