RFR: 8258073: x86_32 build broken after JDK-8257731

[Jie Fu]

Hi all,

Please review the one-line change for x86_32 build fix.

Thanks.
Best regards,
Jie

-------------

Commit messages:
 - 8258073: x86_32 build broken after JDK-8257731

Changes: https://git.openjdk.java.net/jdk/pull/1743/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=1743&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8258073
  Stats: 1 line in 1 file changed: 1 ins; 0 del; 0 mod
  Patch: https://git.openjdk.java.net/jdk/pull/1743.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/1743/head:pull/1743

PR: https://git.openjdk.java.net/jdk/pull/1743