ARM-software/arm-trusted-firmware — pull request #99 by vikramkanigiri (2014-05-22 16:21:24+00:00)
Title: Vk/tf issues#133 v3

This patch is a rework of pull request based on pull request vk/tf_issues#133