kernel: fix config