[AVR32] Add TIF_RESTORE_SIGMASK to the work masks