- HAL uses HARDWARE_PTE, not MMPTE_HARDWARE, so remove broken SMP fix