kernel: add config option