mainboard: Format irq_tables.c

Run the command below to format the files `irq_tables.c` of (mostly AMD)
mainboards correctly with GNU indent 2.2.10.

```
$ git grep -l 'if (sum != pirq->checksum) {' | xargs indent -l
```

Fix up the following two checkpatch.pl errors manually.

```
ERROR: that open brace { should be on the previous line
#1219: FILE: src/mainboard/gigabyte/ga_2761gxdk/irq_tables.c:129:
+			uint8_t reg[8] =
+			    { 0x41, 0x42, 0x43, 0x44, 0x60, 0x61, 0x62, 0x63 };

ERROR: that open brace { should be on the previous line
#1221: FILE: src/mainboard/gigabyte/ga_2761gxdk/irq_tables.c:131:
+			uint8_t irq[8] =
+			    { 0x0A, 0X0B, 0X0, 0X0a, 0X0B, 0X05, 0X0, 0X07 };

```

This is needed, so that follow-up commits, fixing checkpatch.pl errors
and warnings, won’t run into conflicts with the git commit hooks, when
for example, spaces instead of tabs are used for indentation.

Change-Id: If254723f3013377fb3b9b08dd5eca6b76730ec4a
Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de>
Reviewed-on: https://review.coreboot.org/15932
Tested-by: build bot (Jenkins)
Reviewed-by: Jonathan A. Kollasch <jakllsch@kollasch.net>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>

1 files changed, 11 insertions, 13 deletions

diff --git a/src/mainboard/msi/ms7135/irq_tables.c b/src/mainboard/msi/ms7135/irq_tables.c
index eea5eddde6..e40794ef3c 100644
--- a/src/mainboard/msi/ms7135/irq_tables.c
+++ b/src/mainboard/msi/ms7135/irq_tables.c
@@ -33,7 +33,6 @@
 
 extern unsigned char bus_ck804[6];
 
-
 /**
  * Add one line to IRQ table.
  */
@@ -204,50 +203,49 @@ unsigned long write_pirq_routing_table(unsigned long addr)
 
 	/* Bus, device, slots IRQs for {A,B,C,D}. */
 
-	irq[0] = 10; /* SMBus */ /* test me */
+	irq[0] = 10;		/* SMBus *//* test me */
 	pci_assign_irqs(bus_ck804[0], 1, irq);
 
-	irq[0] = 10; /* USB */
+	irq[0] = 10;		/* USB */
 	irq[1] = 10;
 	pci_assign_irqs(bus_ck804[0], 2, irq);
 
-	irq[0] = 10; /* AC97 */
+	irq[0] = 10;		/* AC97 */
 	irq[1] = 0;
 	pci_assign_irqs(bus_ck804[0], 4, irq);
 
-	irq[0] = 11; /* SATA */
+	irq[0] = 11;		/* SATA */
 	pci_assign_irqs(bus_ck804[0], 7, irq);
 
-	irq[0] = 5; /* SATA */
+	irq[0] = 5;		/* SATA */
 	pci_assign_irqs(bus_ck804[0], 8, irq);
 
-	irq[0] = 10; /* Ethernet */
+	irq[0] = 10;		/* Ethernet */
 	pci_assign_irqs(bus_ck804[0], 10, irq);
 
-
 	/* physical slots */
 
-	irq[0] = 5; /* PCI E1 - x1 */
+	irq[0] = 5;		/* PCI E1 - x1 */
 	pci_assign_irqs(bus_ck804[2], 0, irq);
 
-	irq[0] = 11; /* PCI E2 - x16 */
+	irq[0] = 11;		/* PCI E2 - x16 */
 	pci_assign_irqs(bus_ck804[3], 0, irq);
 
 	/* AGP-on-PCI "AGR" ignored */
 
-	irq[0] = 10; /* PCI1 */
+	irq[0] = 10;		/* PCI1 */
 	irq[1] = 11;
 	irq[2] = 5;
 	irq[3] = 0;
 	pci_assign_irqs(bus_ck804[1], 7, irq);
 
-	irq[0] = 11; /* PCI2 */
+	irq[0] = 11;		/* PCI2 */
 	irq[1] = 10;
 	irq[2] = 5;
 	irq[3] = 0;
 	pci_assign_irqs(bus_ck804[1], 8, irq);
 
-	irq[0] = 5; /* PCI3 */
+	irq[0] = 5;		/* PCI3 */
 	irq[1] = 10;
 	irq[2] = 11;
 	irq[3] = 0;