fix passing of 64-bit syscall arguments on microblaze