AuthenticationState\r
);\r
if (!EFI_ERROR (Status)) {\r
+ //\r
+ // The image to be started must have the machine type supported by PeiCore.\r
+ //\r
+ ASSERT (EFI_IMAGE_MACHINE_TYPE_SUPPORTED (PeCoffLoaderGetMachineType ((VOID *) (UINTN) ImageAddress)));\r
if (!EFI_IMAGE_MACHINE_TYPE_SUPPORTED (PeCoffLoaderGetMachineType ((VOID *) (UINTN) ImageAddress))) {\r
- //\r
- // The image to be started must have the machine type supported by PeiCore.\r
- //\r
- ASSERT (FALSE);\r
return EFI_UNSUPPORTED;\r
}\r
return Status;\r