[PATCH 5.15 89/91] counter: fix docum. build problems after filename change