Não existe tal opção de kernel, tanto quanto eu posso dizer. Você pode dar uma olhada na fonte do kernel se quiser; coisas relevantes para procurar são set_personality
e current->personality
. A bandeira que você quer é PER_LINUX32
.
Em pouco tempo de corrigir o kernel, sua solução de inicialização é provavelmente a mais simples. Isso não é realmente fora do comum; é bem parecido com o uso de um initramfs. Se você já estiver usando um initramfs, poderá colocar seu setarch
lá.