Zip up Adafruit's SAMD51 code and write a JSON file, to create a new entry in the Arduino IDE boards manager, so that the new board and code could be installed.
You don't HAVE to have a JSON file. You can still copy new directories into the hardware/ tree directly. I've got a 1.8.2 IDE with espressif ESP32 and SAMD11 boards added that way...