bsd: add simple machine files implementation for AArch64

they are not enabled yet in the build system.

Signed-off-by: Claudio Fontana <claudio.fontana@huawei.com>
Signed-off-by: Avi Kivity <avi@cloudius-systems.com>