RFR: 8234324: ARM32 build broken after 8231610

[Andrew Haley]

On 11/18/19 8:41 AM, christoph.goettschkes at microdoc.com wrote:
> introduce with 8231610.
> 
> I already posted the patch on the mailing list, since I wasn't sure if I 
> should create a new bug for this or not. Ioi already looked at it [1] and 
> pointed out, that we are already using similar checks in HotSpot [2].
> 
> Bug: https://bugs.openjdk.java.net/browse/JDK-8234324
> Webrev: https://cr.openjdk.java.net/~cgo/8234324/webrev.00/

OK.

-- 
Andrew Haley  (he/him)
Java Platform Lead Engineer
Red Hat UK Ltd. <https://www.redhat.com>
https://keybase.io/andrewhaley
EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671