# CONFIG_PRINTK_INDEX is not set
