RBI comes out with a marginal 25 bps policy rate cut