ia32

Signed-off-by: Claudio d'Angelis <claudiodangelis@gmail.com>