[PATCH] ARM: zynq: Set bit 22 in PL310 AuxCtrl register (6395/1)

[Thomas.Betker at rohde-schwarz.com]

Hello Catalin:

> > I've been under the impression that this shouldn't be done in the 
kernel,
> > but in the boot loader/firmware:
> > 
> > https://lkml.org/lkml/2015/2/20/199
> > 
> > http://lists.denx.de/pipermail/u-boot/2015-March/207803.html
> 
> If you can fix it in the boot loader or firmware even better. If it's
> not doable, this patch will help (if Russell takes it):
> 
> http://article.gmane.org/gmane.linux.ports.sh.devel/45685

Thanks for the info! Geert's patch looks good to me, and I sure hope it 
will be accepted.

Best regards,
Thomas Betker