Platform: Avoid duplication of extra generated file list

Change-Id: Ief8a9a93fa49554a507a5083e80e6cdcf0ef761a
Signed-off-by: Kevin Peng <kevin.peng@arm.com>
3 files changed