[PATCH] drivers/isdn/*: trivial vsnprintf() conversion