Para resolver esse problema, o suporte para a ABI x32 no gcc deve estar ativado.
O pacote gcc-multilib fornecerá isso por meio de um link simbólico / usr / include / linux / asm. Para referência, isso foi visto em um bug debian em que as informações acima foram fornecidas. link