cross-compiling kernel using a 32-bit toolchain on a 64-bit machine