[ros-diffs] [sginsberg] 44033: - HAL uses HARDWARE_PTE, not MMPTE_HARDWARE, so remove broken SMP fix