Wow. Rarified territory!
Does the serial/USB driver work? (Loopback test.)
Linux "packages" tend to be pretty obsolete, or a mishmash of possibly not-compatible versions of stuff, but I guess you don't have much choice. If the driver is working, you could try just getting the arduino version I avrdude, and compiling that manually.