firewall3: update to git head (#13641)