See the documentation in library/mps/common.h which this commit modifies. Signed-off-by: Hanno Becker <hanno.becker@arm.com>