The type of rock dust they are talking about is already commonly used as a soil amendment to add trace elements and minerals. That said it is possible I suppose that the optimal amount for carbon drawdown is greater than the optimal amount for crop health or yields