PCI: add PIIX3_IDE to supported devices

PIIX4_IDE and PIIX3_IDE are similar enough that we can have one driver
for both.

ableos/src/devices/pci/devices.rs

@@ -22,6 +22,7 @@ impl DeviceID {
 pub const S3INC_TRIO64V2: DeviceID = DeviceID::new(S3Inc, 0x8900);
 
 // MassStorage_IDE (0x0101)
+pub const INTEL_PIIX3_IDE: DeviceID = DeviceID::new(Intel, 0x7010);
 pub const INTEL_PIIX4_IDE: DeviceID = DeviceID::new(Intel, 0x7111);
 
 // Display_VGA (0x0300)

ableos/src/devices/pci/support.rs

@@ -12,6 +12,7 @@ pub fn check_pci_support(device_id: DeviceID) -> bool {
         S3INC_TRIO64V2 => true,
 
         // MassStorage_IDE (0x0101)
+        INTEL_PIIX3_IDE => true,
         INTEL_PIIX4_IDE => true,
 
         // Display_VGA (0x0300)