COMPMID-344 Update documentation for new build options

Change-Id: I447941f7cf4a9bcac9381979c54ec230207ebb71
Reviewed-on: http://mpd-gerrit.cambridge.arm.com/78688
Reviewed-by: Gian Marco Iodice <gianmarco.iodice@arm.com>
Tested-by: Kaizen <jeremy.johnson+kaizengerrit@arm.com>
Reviewed-by: Moritz Pflanzer <moritz.pflanzer@arm.com>
3 files changed