port-i386: NKPDE changes

Subject: NKPDE changes
To: None <port-i386@NetBSD.ORG>
From: Frank van der Linden <frank@fwi.uva.nl>
List: port-i386
Date: 11/18/1996 10:04:48

Just in case.. I made an error in the commit message, I said:

>- nkpde is calculated as:
> 
>        min(NKPDE_MAX, NKPDE_BASE + (biosextmem >> 10) * NKPDE_SCALE)

The correct wording is:

nkpde is calculated as:

	NKPDE_BASE + (biosextmem >> 10) * NKPDE_SCALE
	with a maximum of NKPDE_MAX.

- Frank