Fix timerfd breakage on avr32