Support NetBSD/amd64 with more than 4 GB of memory.