[ros-dev] A patch for page dereferencing