freebsd-dev/sys/arm64/conf/DEFAULTS