diff -r dedfadeadf86 tools/firmware/hvmloader/hvmloader.c
--- a/tools/firmware/hvmloader/hvmloader.c	Fri Jun 20 18:42:45 2008 +0100
+++ b/tools/firmware/hvmloader/hvmloader.c	Wed Jun 25 15:43:06 2008 +0800
@@ -207,7 +207,6 @@
             break;
         case 0x0101:
             /* PIIX3 IDE */
-            ASSERT((vendor_id == 0x8086) && (device_id == 0x7010));
             pci_writew(devfn, 0x40, 0x8000); /* enable IDE0 */
             pci_writew(devfn, 0x42, 0x8000); /* enable IDE1 */
             break;