configure: error: "libffi has not been ported to avr32-unknown-linux-gnu."