Index: trunk/i386/libsaio/fake_efi.c
===================================================================
--- trunk/i386/libsaio/fake_efi.c	(revision 758)
+++ trunk/i386/libsaio/fake_efi.c	(revision 759)
@@ -440,8 +440,6 @@
 static const char const SYSTEM_TYPE_PROP[] = "system-type";
 static const char const MODEL_PROP[] = "Model";
 static const char const BOARDID_PROP[] = "board-id";
-static const char const DEV_PATH_SUP[]    = "DevicePathsSupported";
-static uint32_t DevPathSup = 1;
 
 /*
  * Get an smbios option string option to convert to EFI_CHAR16 string
@@ -608,8 +606,6 @@
 	if (Platform.CPU.CPUFrequency != 0)
 		DT__AddProperty(efiPlatformNode, CPU_Frequency_prop, sizeof(uint64_t), &Platform.CPU.CPUFrequency);
 	
-	DT__AddProperty(efiPlatformNode,DEV_PATH_SUP, sizeof(uint32_t), &DevPathSup);
-	
 	// Export system-id. Can be disabled with SystemId=No in com.apple.Boot.plist
 	if ((ret=getSystemID()))
 		DT__AddProperty(efiPlatformNode, SYSTEM_ID_PROP, UUID_LEN, (EFI_UINT32*) ret);