COMPMID-417: Fix half point build for bare metal

Change-Id: I1e5668f9a4e2a02fd52e79e4637575b65e74c707
Reviewed-on: http://mpd-gerrit.cambridge.arm.com/88388
Reviewed-by: Moritz Pflanzer <moritz.pflanzer@arm.com>
Tested-by: Kaizen <jeremy.johnson+kaizengerrit@arm.com>
1 file changed