Added configuration options to kernel code.