CONFIG_PRINTK=y
CONFIG_COUNTER=y