fix mman header issues#8992

SamGondelman wants to merge 1 commit intopytorch:mainpytorch/executorch:mainfrom

SamGondelman:export-D70680840SamGondelman/executorch:export-D70680840Copy head branch name to clipboard