microblaze: add syscall numbers from linux v4.7