GPIOの出力電流の設定は、Armadillo-400シリーズハードウェアマニュアル
6.2.1入出力インタフェースの電気的仕様-「Armadillo-460」
http://manual.atmark-techno.com/armadillo-4x0/armadillo-400_series_hardware_manual_ja-1.10.0/ch06.html#sec-6-2-1 より、
i.MX257のSoftware Pad Control Register(SW_PAD_CTL)とDrive Voltage
Select Group Control Register(SW_PAD_CTL_GRP_DVS)で、出力電流(Std,
High, Max)、スルーレート(Slow, Fast)、プルアップ/プルダウンを変更することができます。
と記載されています。
実際にCON9の2ピンとCON9の14ピンの電流をmaxに設定変更してみました。
注意点としては、上記のとおり、SW_PAD_CTLで設定できるものと、
SW_PAD_CTL_GRPで設定できるものがありますので、電流設定のパラメータ(DSE)が
あるレジスタを選択する必要がある点です。