не понятно как формируется название целевой платформы, бывают,
arm-elf
arm-none-eabi
arm-linux
i486-slackware-linux
всё, что после первого слова вообще оказывает влияние на то какой компилятор будет собран? почему там может быть название ядра, бинарный формат, и abi, и может ещё что то ?