You also might be able to use the new EABI debian version: http://wiki.debian.org/ArmEabiHowto - Chad
