Changer la "core library" dans Arduino IDE

Merci de ta réponse, mais je ne peux pas...
Il y a des interruptions de défini dans HardwareSerial que j'ai besoin de modifier, et le linker aime pas ça du tout...