/Platform/Intel/SimicsOpenBoardPkg/SecCore/X64/