Fix kernel config derp

Related to http://review.cyanogenmod.org/#/c/61931