> >entried widened to 64 bits, so that the 36 bits of physical address
> >fit in there. Virtual address space is still 32 bits wide.
>
> Does NetBSD support this?  The Intel SCB2 board I mentioned recently
> that fails to boot with 4GB is one of these.
4GB isn't more than 4GB. not this is a problem