Remove some defunkt special case code for avr32