Index: /trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/VBoxIdeControllerDxe/IdeController.c
===================================================================
--- /trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/VBoxIdeControllerDxe/IdeController.c	(revision 33024)
+++ /trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/VBoxIdeControllerDxe/IdeController.c	(revision 33025)
@@ -184,5 +184,5 @@
   // Examine Ide PCI Configuration table fields
   //
-  if ((PciClass != PCI_CLASS_MASS_STORAGE) || (PciSubClass != PCI_CLASS_MASS_STORAGE_IDE)) {
+  if ((PciClass != PCI_CLASS_MASS_STORAGE) || ((PciSubClass != PCI_CLASS_MASS_STORAGE_IDE) && (PciSubClass != 0x06 /*SATA*/))) {
     Status = EFI_UNSUPPORTED;
   }
Index: /trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/VBoxIdeControllerDxe/VBoxIdeControllerDxe.inf
===================================================================
--- /trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/VBoxIdeControllerDxe/VBoxIdeControllerDxe.inf	(revision 33024)
+++ /trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/VBoxIdeControllerDxe/VBoxIdeControllerDxe.inf	(revision 33025)
@@ -17,5 +17,5 @@
   INF_VERSION                    = 0x00010005
   BASE_NAME                      = IdeController
-  FILE_GUID                      = F3790689-FB90-4479-A2EF-B82A43AFE74D
+  FILE_GUID                      = de85315c-d4da-11df-8015-080027a4ca0d
   MODULE_TYPE                    = UEFI_DRIVER
   VERSION_STRING                 = 1.0
@@ -36,4 +36,5 @@
 
 [Packages]
+  VBoxPkg/VBoxPkg.dec
   MdePkg/MdePkg.dec
   IntelFrameworkPkg/IntelFrameworkPkg.dec