I am looking for a bound of type
$$\sum_{x<n\leq x+y} \Lambda(n) \leq \frac{\log(x+y)}{\log y} \cdot 2y$$
(or better). Of course such a bound has to exist: the idea of the proof of Brun-Titchmarsh (which is more general) still applies when one considers prime powers. What I am looking for is a clean, explicit result (as clean and explicit as Brun-Titchmarsh, in the well-known Montgomery-Vaughan version) available right off the shelf.
(In particular, I do not want an error term proportional to $\sqrt{x+y}$.)