Use arm-cortex_a15-linux-gnueabihf for kernel build