CONFIG_IRQ_TIMER9 is not available for thedefaultarchitecture x86.
Result is shown for architecture blackfin

TIMER 9 Interrupt

configname: CONFIG_IRQ_TIMER9

Linux Kernel Configuration
└─>BF561 Specific Configuration
└─>Priority
└─>TIMER 9 Interrupt
In linux kernel since version 2.6.22 (release Date: 2007-07-08)  
depends
CONFIG_BF561 or CONFIG_BF54x