I have used the SAMD21 with my library too. There was no need to write\clear the IRQs register twice nor has there been with any of the other Micros I have used.
Missing every other packet would be a 'bug' that would be spotted very early in the life of a library.