feat: update to public core and libraries#6

lucarin91 wants to merge 1 commit intoarduino:arduinoarduino/arduino-deb-images:arduinofrom

lucarin91:update-installed-platformlucarin91/arduino-deb-images:update-installed-platformCopy head branch name to clipboard