I\'m cross compiling a linux kernel (5.8.0) from x64 (arch linux) to armhf (debian) in the following manner (I\'ve got dpkg installed for this reason):
export