* tic80-tdep.c (tic80_init_extra_frame_info): Allow zero