[Bug 16618] memory above 0x80000000 doesn't seem to be accessible