RE: [GIT PULL]; big LITTLE MP master v12