Fixed duplicate entries in defconfigs