Fix pretty printers integration for 32-bit ARM

Author: grisumbras

include/boost/json/detail/gdb_printers.hpp

@@ -23,7 +23,7 @@
 #endif
 
 __asm__(
-  ".pushsection \".debug_gdb_scripts\", \"MS\",@progbits,1\n"
+  ".pushsection \".debug_gdb_scripts\", \"MS\",%progbits,1\n"
   ".ascii \"\\4gdb.inlined-script.BOOST_JSON_DETAIL_GDB_PRINTERS_HPP\\n\"\n"
   ".ascii \"import gdb\\n\"\n"
   ".ascii \"import gdb.printing\\n\"\n"

pretty_printers/generate-gdb-header.py

@@ -27,7 +27,7 @@
 #endif
 
 __asm__(
-  ".pushsection \\\".debug_gdb_scripts\\\", \\\"MS\\\",@progbits,1\\n"
+  ".pushsection \\\".debug_gdb_scripts\\\", \\\"MS\\\",%progbits,1\\n"
   ".ascii \\\"\\\\4gdb.inlined-script.{script_id}\\\\n\\\"\\n"
 '''