Typo in ARM __attribute__((interrupt)) documentation