Fix defconfigs