gnueabi な gcc を入れて試してみる
でびあんパケジを導入して再現確認を。
$ sudo apt-get install -fy gcc-arm-linux-gnueabi
で、makefile は以下を
ARMGNU ?= arm-none-eabi
以下にすれば良いのかな。
ARMGNU ?= arm-linux-gnueabi
結果
kernel.list の中身は変化なし、でした。次に進みます。とは言え、kernel.list はチェックしながら、な方が色々な意味で良さげ。