Adding options to the kernel