Rename kernel defconfigs

Change-Id: Id5b2298fc01f7474c79b5c60e012a8a29ee4e846