arm64: fix the handling of DDB symbols in early boot

The code which installs the kernel symbol table wasn't being compiled
because the file did not include opt_ddb.h

Reviewed by: kevans emaste
MFC after: 1 week
Differential Revision: https://reviews.freebsd.org/D43490