[fedora-arm] Re: wondering about a few kernel config options