Proper defconfig naming