tenderloin4g: enable KSM

Also did a refresh on the defconfig

Change-Id: I20ea9c242dbbd027f74f6f0603efc95d28e916f1
1 file changed