Hi Mark, Alex

ARM have released a new version of DS-5 and I have a pull request below
to update the version of gator in LSK...

The following changes since commit 14899ae67197e6e84cecf018f39d1be1a2d75b92:

  Merge branch 'lsk-3.10-gator-5.18' into lsk-3.10-gator (2014-06-12 14:01:48 +0100)

are available in the git repository at:

  git://git.linaro.org/landing-teams/working/arm/kernel.git

for you to fetch changes up to ed30f24e8d07d30aa3e69d1f508f4d7bd2e8ea14: