Delete automatically generated irq.s, which snuck into the repo somehow