[PATCH] Always use 64 bit addresses for the firmware memory map

[H. Peter Anvin]

Jeremy Fitzhardinge wrote:
> 
> resource_size_t should always be 64-bit on PAE now.
> 

Yes, but this would affect non-PAE kernels too.

	-hpa