Renaming "kernel" Option to "source"