Merge branch 'master' into markj-kernel-config
Merge branch 'markj-kernel-config' into 20141021-gzio-refactoring
Merge branch 'markj-kernel-config' into 20141106-kernel-dump-refactoring
Merge branch '20141021-gzio-refactoring' into 20141106-kernel-dump-refactoring