Some missing casts fixed in snmmp.AirOS backend