[aarch64-port-dev ] hg: aarch64-port/jdk8/hotspot: Make release server build work

[ed at camswl.com]

Changeset: 80e741fc14e2
Author:    Edward Nevill ed at camswl.com
Date:      2013-08-14 14:08 +0100
URL:       http://hg.openjdk.java.net/aarch64-port/jdk8/hotspot/rev/80e741fc14e2

Make release server build work

! src/cpu/aarch64/vm/aarch64.ad