[andrea@suse.de: Re: [bigmem-patch] 4GB with Linux on IA32]