[PATCH] batman-adv: Annotate bitwise integer pointer casts