You'll find these options under:
Code:
Symbol: PRINTK_TIME [=n]
| Type : boolean
| Prompt: Show timing information on printks
| Location:
| -> Kernel hacking
| (1) -> printk and dmesg options
Code:
Symbol: DEBUG_KERNEL [=n]
| Type : boolean
| Prompt: Kernel debugging
| Location:
| (1) -> Kernel hacking
Regards