[PATCH v2 08/10] microblaze: add Kconfig symbol for the vector base address