Re: Switching Fedora to pae kernel by default?