# Versatile Express machine type (ARM VERSATILE EXPRESS = 2272) required for ARM Linux:\r
gArmTokenSpaceGuid.PcdArmMachineType|2272\r
gArmPlatformTokenSpaceGuid.PcdDefaultBootDescription|L"SemiHosting"\r
- gArmPlatformTokenSpaceGuid.PcdDefaultBootDevicePath|L"VenHw(C5B9C74A-6D72-4719-99AB-C59F199091EB)/zImage"\r
+ gArmPlatformTokenSpaceGuid.PcdDefaultBootDevicePath|L"VenHw(C5B9C74A-6D72-4719-99AB-C59F199091EB)/Image"\r
gArmPlatformTokenSpaceGuid.PcdDefaultBootType|2\r
\r
# Use the serial console (ConIn & ConOut) and the Graphic driver (ConOut)\r