Merge branch 'aarch64-next' of https://github.com/hw-claudio/osv_aarch64

"This is v3 of the patch series that enables first stubbed support
for AArch64."

Signed-off-by: Avi Kivity <avi@cloudius-systems.com>

Conflicts:
	bsd/porting/mmu.cc
	build.mk
	fs/vfs/vfs_fops.cc