Merge pull request #1 from projectNe10/dev/raminzaghi-arm/patch0001_minorfixes
authordbutcher-arm <dbutcher@arm.com>
Wed, 7 Mar 2012 18:12:52 +0000 (10:12 -0800)
committerdbutcher-arm <dbutcher@arm.com>
Wed, 7 Mar 2012 18:12:52 +0000 (10:12 -0800)
Minor fixes, typos and build cleanup


Trivial merge