Hello,
Up until R23.2 I would use:
$ cd kernel_source
$ export ARCH=arm64
$ export CROSS_COMPILE=/usr/bin/aarch64-linux-gnu-
$ export CROSS32CC=arm-linux-gnueabi-gcc
$ make (etc..)
Now in R24.1, being 64-bit userspace, does it still need CROSS32CC ?