Rebuild patches with arduino/extrapatches-6.12.0

Author: pennam

patches/0001-PACKAGING-remove-gdb-exta-information-to-slim-librar.patch

@@ -1,7 +1,7 @@
-From 1e2af1abb650e90fd45c25f5c1a4930752056475 Mon Sep 17 00:00:00 2001
+From 43055a819d0da3bb6a46c6d83524155f1450d6e6 Mon Sep 17 00:00:00 2001
 From: Martino Facchin <m.facchin@arduino.cc>
 Date: Thu, 11 Mar 2021 15:05:20 +0100
-Subject: [PATCH] PACKAGING: remove gdb exta information to slim library
+Subject: [PATCH 01/87] PACKAGING: remove gdb exta information to slim library
 
 ---
  tools/profiles/develop.json | 2 +-
@@ -21,5 +21,5 @@ index 21ba5c88d5..5995d276e4 100644
          "c": ["-c", "-std=gnu11"],
          "cxx": ["-c", "-std=gnu++14", "-fno-rtti", "-Wvla"],
 -- 
-2.30.1
+2.30.2