[arm:sa1100 57/64] ERROR: "ipaq_micro_tx_msg" [arch/arm/mach-sa1100/h3xxx-sleeve.ko] undefined!

tree:   git://git.armlinux.org.uk/~rmk/linux-arm.git sa1100
head:   1fc9211c6e86660094c9264d3f12f577a30c4344
commit: 5cab0b436a7d049c129f6c5fe1303bd413421b06 [57/64] ARM: sa1100/h3xxx: sleeve support
config: arm-jornada720_defconfig (attached as .config)
compiler: arm-linux-gnueabi-gcc (GCC) 7.4.0
reproduce:
        wget https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O ~/bin/make.cross
        chmod +x ~/bin/make.cross
        git checkout 5cab0b436a7d049c129f6c5fe1303bd413421b06
        # save the attached .config to linux build tree
        GCC_VERSION=7.4.0 make.cross ARCH=arm 

If you fix the issue, kindly add following tag
Reported-by: kbuild test robot <redacted>

All errors (new ones prefixed by >>):

quoted

ERROR: "ipaq_micro_tx_msg" [arch/arm/mach-sa1100/h3xxx-sleeve.ko] undefined!

---
0-DAY kernel test infrastructure                Open Source Technology Center
https://lists.01.org/pipermail/kbuild-all                   Intel Corporation