http://wiki.debian.org/ArmEabiPort