Dokdo_hammerhead
Rename kernel-config file