Estou lendo o mesmo livro e fico preso na mesma parte, então ... depois de alguma pesquisa eu finalmente compilei o kernel para o alvo ixp4xx
Faça o download do conjunto de ferramentas ARM a partir de: Devloper arm Compiler v6 então ...
$ mkdir -p ~/opt
$ cd ~/opt
$ tar xjf ~/Downloads/gcc-arm-none-eabi-6-2017-q2-update-linux.tar.bz2
$ chmod -R -w ~/opt/gcc-arm-none-eabi-6-2017-q2-update
veja se a instalação está correta
~/opt$ gcc-arm-none-eabi-6-2017-q2-update/bin/arm-none-eabi-gcc --version
A saída será algo assim:
arm-none-eabi-gcc (GNU Tools for ARM Embedded Processors 6-2017-q2-update) 6.3.1 20170620 (release) [ARM/embedded-6-branch revision 249437] Copyright (C) 2016 Free Software Foundation, Inc...
Agora você pode preparar sua árvore de origem do Kernel
make ARCH=arm CROSS_COMPILE=~/opt/gcc-arm-none-eabi-6-2017-q2-update/bin/arm-none-eabi- ixp4xx_defconfig
E finalmente compile ...
make ARCH=arm CROSS_COMPILE=~/opt/gcc-arm-none-eabi-6-2017-q2-update/bin/arm-none-eabi- zImage
Talvez não seja o melhor compilador para o alvo ou precise de um patch de kernel, mas ... para seguir cada passo do livro eu acho que é o suficiente.
BR,