[PATCH] Fix NKPT kernel config option

Hi John,

Thanks for adding an NKPT kernel config option (r225194), but this
doesn't seem to work unless opt_pmap.h is included, see attached
patch.

Without this include, there's no garantee that the NKPT definition code:

#ifndef NKPT
#define NKPT            32
#endif

will use the value specified in config.  Or worse, it may even use
different values for different .c files.

-- 
Robert Millan