Merge branches 'eduardo-soc' and 'bang-bang-governor' of .git into next