kernel - Correct edge-case for machdep.pmap_mmu_optimize