[Y2038] [PATCH v4 2/3] microblaze: add system call table generation support