kernel - set machdep.pmap_mmu_optimize to 1 by default in master