Fixing broken PDF link on external-interrupts.rst