Hi, when I run `make links` in /sys/kern (as mentioned in [1]), I get
the following error:

/bin/sh: cd: /usr/src/sys/lib/libkern/arch/aarch64 - No such file or directory

This error occurs because DGEN in /sys/kern/Makefile (in addition to
lib/libkern/arch/${MACHINE}) contains lib/libkern/arch/${MACHINE_ARCH},
which doesn't exist.

Q: Can lib/libkern/arch/${MACHINE_ARCH} be removed from DGEN or are
there any architectures which rely on ${MACHINE_ARCH}?

Thanks,
Thorsten

[1] https://www.openbsd.org/faq/faq5.html#Miscellanea