Ooops we need to include <machine/vmparam.h> to get the definition of

KERNBASE and VM_MAXUSER_ADDRESS.
Remove the useless include of opt_global.h, as noticed by netchild@ (the one
in arm/elf_trampoline.c is legit, because this file is compiled outside the
kernel, and doesn't use the standard CFLAGS).

sys/arm/arm/mem.c

@@ -63,8 +63,7 @@ __FBSDID("$FreeBSD$");
 #include <vm/vm_extern.h>
 
 #include <machine/memdev.h>
-
-#include "opt_global.h"
+#include <machine/vmparam.h>
 
 /*
  * Used in /dev/mem drivers and elsewhere