Let CONFIG_INT_DST to choose interrupt distributor codes