[Projects] havm: branch master updated: havm-0.25-11-gf2d7b4e