The "CONFIG_HANDLE_DOMAIN_IRQ" item has not been used right now.
Remove the old unused selection in config MICROBLAZE.
Signed-off-by: Ying Sun <sunying@nj.iscas.ac.cn>
Link: https://lore.kernel.org/r/20220629080652.28029-1-sunying@nj.iscas.ac.cnSigned-off-by: Michal Simek <michal.simek@amd.com>