x86: Rename CONFIG_SYS_NUM_IRQS to SYS_NUM_IRQS