Cannot find `asm/page.h` in boost/thread/pthread/thread_data.hpp

[hamalMarino]

Using a compiled version of roscpp_android it's possible to link to apps which are built with newer versions of the NDK (I've used 16 recently - didn't test all libraries though).
The only problem I found is that I needed to manually patch the file <ROSCPP_ANDROID_NDK_INCLUDE>/boost/thread/pthread/thread_data.hpp changing

#if defined(__ANDROID__)
#include <asm/page.h> // http://code.google.com/p/android/issues/detail?id=39983
#endif

to

#if defined(__ANDROID__)
# ifndef PAGE_SIZE
#  define PAGE_SIZE 4096
# endif
#endif

as is the latest implementation of boost/thread.
Could this patch be applied at roscpp_android build time directly?