MFC 257297:
Remove unnecessary includes of <machine/pmap.h>