Build: Update Corstone 300 port

Change-Id: Icf5204ffc84b0a0ceecb873800abc97783f7d210
Signed-off-by: David Hu <david.hu@arm.com>
11 files changed