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>