[seL4] IA32 syscall bindings