Crêpe's ARM cross-compile for ARM-optimized kernels.