[ros-diffs] [tkreuzer] 44502: Add PDE_TOP for x86