defconfig name change

Change-Id: I2f00e5e3216ea2b81f7ddac12a9fd05d1b001451