kern_ctf.c: fix linking with nooptions DDB

!DDB builds don't include the db_ctf_lookup_typename() symbol, so this
is a stop-gap to fix linking of the MINIMAL kernel config.

Reported by: bapt
Fixes: c21bc6f3c242 ("ddb: Add CTF-based pretty printing")