names for the L4 ipc functions for the x86 architecture

[Rafal Somla]

Hi,

I tried to compile and install Fiasco-ux and L4Env. It seems that the 
l4sys ipc functions for the x86 architecture have additional _i386_ part 
in their name. E.g., l4_i386_ipc_call instead of l4_ipc_call. The result 
is that, for instance, I can't compile the hello server without renaming 
the functions. Is that intentional or did I messed up the instalation?

Thanks for any help on that,

Rafal