Merge pull request #822 from jeenu-arm/fix-fvp-refs
authordanh-arm <dan.handley@arm.com>
Tue, 31 Jan 2017 11:10:46 +0000 (11:10 +0000)
committerGitHub <noreply@github.com>
Tue, 31 Jan 2017 11:10:46 +0000 (11:10 +0000)
user-guide.md: Fix FVP references


Trivial merge