ipc: return L4_Word_t from sys_ipc()

It turns out that GCC puts a struct return value in memory instead of %eax
even if the struct's size is 32 bits or less. Returning the raw value makes
the function call's ABI work as expected.