Revert "2013-06-05  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>"

This reverts commit 75d7b03bb733feadf30be89e4cc8bf7e0938880d.