OS-3497 lx brand: lx-syscall provider has wrong args on 32-bit