[PATCH] x86-64: fix ia32_binfmt.c build error