Fix minor issues in user guide

Message ID ARM-software/arm-trusted-firmware@204
State Accepted
Headers show

Message

Dan Handley Aug. 28, 2014, 2:36 p.m.
# https://github.com/ARM-software/arm-trusted-firmware/pull/204
This represents a change submitted via Github. It is mirrored
here so that it is included in our statistics.