#/** @file\r
# SEC - Reset vector code that jumps to C and starts the PEI phase\r
#\r
+# (C) Copyright 2015 Hewlett-Packard Development Company, L.P.<BR>\r
# Copyright (c) 2011-2013, ARM Limited. All rights reserved.\r
#\r
# This program and the accompanying materials\r
PrintLib\r
SerialPortLib\r
\r
-[FixedPcd.common]\r
+[Pcd]\r
gEfiMdeModulePkgTokenSpaceGuid.PcdFirmwareVersionString\r
\r
+[FixedPcd.common]\r
+\r
gArmTokenSpaceGuid.PcdTrustzoneSupport\r
gArmTokenSpaceGuid.PcdVFPEnabled\r
\r