return EFI_INVALID_PARAMETER;\r
}\r
\r
+ if (!EFI_IMAGE_MACHINE_TYPE_SUPPORTED (Image->Machine)) {\r
+ //\r
+ // The image to be started must have the machine type supported by DxeCore.\r
+ //\r
+ ASSERT (FALSE);\r
+ return EFI_UNSUPPORTED;\r
+ }\r
+\r
//\r
// Don't profile Objects or invalid start requests\r
//\r