Add 'monitor set ignore-ondemand' option
Fix x86 support
Merge branch 'android-gdb_7_5-base' into android-gdb_7_5