Re: How do I change from a regular kernel to a PAE kernel ?