[PATCH] Dead code in drivers/isdn/avm/avmcard.h