fix build for ia32

Change-Id: Ia5838c6899a5ff76cb502fdf6828bf60f88d8054
Signed-off-by: Stephane Desneux <stephane.desneux@open.eurogiciel.org>