acpi: Use prt_slot() macro to describe irq pins of first PCI device.

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
diff --git a/src/acpi-dsdt.dsl b/src/acpi-dsdt.dsl
index b58ef62..158f6b4 100644
--- a/src/acpi-dsdt.dsl
+++ b/src/acpi-dsdt.dsl
@@ -187,10 +187,7 @@
 
                 prt_slot0(0x0000),
                 /* Device 1 is power mgmt device, and can only use irq 9 */
-                Package() { 0x1ffff, 0, LNKS, 0 },
-                Package() { 0x1ffff, 1, LNKB, 0 },
-                Package() { 0x1ffff, 2, LNKC, 0 },
-                Package() { 0x1ffff, 3, LNKD, 0 },
+                prt_slot(0x0001, LNKS, LNKB, LNKC, LNKD),
                 prt_slot2(0x0002),
                 prt_slot3(0x0003),
                 prt_slot0(0x0004),