Re: PAE versus HIGHMEM64