Merge pull request #472 from raspberrypi/release.1.2.0

SDK 1.2.0 release; see release notes for details