[gens/f41] Fix FTBFS with gcc14 -Werror=incompatible-pointer-types