intc: intc_cavs: Use DTS labels for device names

Replace Kconfig device names with one's that come from device tree like
most all other devices do.

Signed-off-by: Kumar Gala <kumar.gala@linaro.org>
7 files changed