--- old/hotspot/make/linux/platform_aarch64	2016-04-20 15:11:19.732995843 +0200
+++ /dev/null	2016-02-18 10:58:42.502130963 +0100
@@ -1,15 +0,0 @@
-os_family = linux
-
-arch = aarch64
-
-arch_model = aarch64
-
-os_arch = linux_aarch64
-
-os_arch_model = linux_aarch64
-
-lib_arch = aarch64
-
-compiler = gcc
-
-sysdefs = -DLINUX -D_GNU_SOURCE -DAARCH64