Hi Peter, >> So why do only the ARM boards get fixes here? > ...ah, I see you've submitted patches for other boards too, > you just didn't put them together into a single series. Sorry.
Some other architectures were already fixed (x86 and ppc) and I'll be working through the other arches shortly. I've tested this on vexpress and virt. Greetings, Dirk
