[11u]: 8213906: Update arm devkits with libXrandr headers

[Langer, Christoph]

Hi,

please review this tiny backport changeset:

Bug: https://bugs.openjdk.java.net/browse/JDK-8213906
Original change: http://hg.openjdk.java.net/jdk/jdk/rev/a41566ad8756
Webrev: http://cr.openjdk.java.net/~clanger/webrevs/8213906.11u/

It's one of these parity changes. The change didn't apply so I tried to resolve it manually.

Thanks
Christoph