Change build options of the kernel