>>> On 20.02.18 at 11:17, <mingo@kernel.org> wrote:> I assume the Xen fix got merged meanwhile?Yes (that's the commit I've referred to in an earlier reply).Jan