kernel: Add extra configuration options