[PATCH v2 07/10] microblaze: migrate CONFIG_SYS_USR_EXCEP to Kconfig