am 87de59df: Merge "Do not mark pages executable unnecessarily to play nice with selinux"

* commit '87de59dfe44c746c0a261053b99ac59992d571e6':
  Do not mark pages executable unnecessarily to play nice with selinux