Are you sure this is limited to amd64? The i386 version can't address that memory either due to the same kernel changes.
Are you sure this is limited to amd64? The i386 version can't address that memory either due to the same kernel changes.