Remove inline from extiInterruptHandler, because it's defined in other file (so, I get rid of a warning)