kconfig: handle P_SYMBOL in print_symbol()