Make clear about defconfig! being used when there is no default value.