This patch is a tidyup of the whitespace in aarch64/sysdep.h

/Marcus