xtensa: move PLATFORM_NR_IRQS to Kconfig