Add Kernel options