diff --git a/repos/os/src/drivers/gpio/imx53/driver.h b/repos/os/src/drivers/gpio/imx53/driver.h
index 6842c28461..74b0735e81 100644
--- a/repos/os/src/drivers/gpio/imx53/driver.h
+++ b/repos/os/src/drivers/gpio/imx53/driver.h
@@ -233,34 +233,20 @@ class Imx53_driver : public Gpio::Driver
 
 
 Imx53_driver::Gpio_bank Imx53_driver::_gpio_bank[Imx53_driver::MAX_BANKS] = {
-	Gpio_bank(Genode::Board_base::GPIO1_MMIO_BASE,
-	          Genode::Board_base::GPIO1_MMIO_SIZE,
-	          Genode::Board_base::GPIO1_IRQL,
-	          Genode::Board_base::GPIO1_IRQH),
-	Gpio_bank(Genode::Board_base::GPIO2_MMIO_BASE,
-	          Genode::Board_base::GPIO2_MMIO_SIZE,
-	          Genode::Board_base::GPIO2_IRQL,
-	          Genode::Board_base::GPIO2_IRQH),
-	Gpio_bank(Genode::Board_base::GPIO3_MMIO_BASE,
-	          Genode::Board_base::GPIO3_MMIO_SIZE,
-	          Genode::Board_base::GPIO3_IRQL,
-	          Genode::Board_base::GPIO3_IRQH),
-	Gpio_bank(Genode::Board_base::GPIO4_MMIO_BASE,
-	          Genode::Board_base::GPIO4_MMIO_SIZE,
-	          Genode::Board_base::GPIO4_IRQL,
-	          Genode::Board_base::GPIO4_IRQH),
-	Gpio_bank(Genode::Board_base::GPIO5_MMIO_BASE,
-	          Genode::Board_base::GPIO5_MMIO_SIZE,
-	          Genode::Board_base::GPIO5_IRQL,
-	          Genode::Board_base::GPIO5_IRQH),
-	Gpio_bank(Genode::Board_base::GPIO6_MMIO_BASE,
-	          Genode::Board_base::GPIO6_MMIO_SIZE,
-	          Genode::Board_base::GPIO6_IRQL,
-	          Genode::Board_base::GPIO6_IRQH),
-	Gpio_bank(Genode::Board_base::GPIO7_MMIO_BASE,
-	          Genode::Board_base::GPIO7_MMIO_SIZE,
-	          Genode::Board_base::GPIO7_IRQL,
-	          Genode::Board_base::GPIO7_IRQH),
+	{ Genode::Board_base::GPIO1_MMIO_BASE, Genode::Board_base::GPIO1_MMIO_SIZE,
+	  Genode::Board_base::GPIO1_IRQL, Genode::Board_base::GPIO1_IRQH },
+	{ Genode::Board_base::GPIO2_MMIO_BASE, Genode::Board_base::GPIO2_MMIO_SIZE,
+	  Genode::Board_base::GPIO2_IRQL, Genode::Board_base::GPIO2_IRQH },
+	{ Genode::Board_base::GPIO3_MMIO_BASE, Genode::Board_base::GPIO3_MMIO_SIZE,
+	  Genode::Board_base::GPIO3_IRQL, Genode::Board_base::GPIO3_IRQH },
+	{ Genode::Board_base::GPIO4_MMIO_BASE, Genode::Board_base::GPIO4_MMIO_SIZE,
+	  Genode::Board_base::GPIO4_IRQL, Genode::Board_base::GPIO4_IRQH },
+	{ Genode::Board_base::GPIO5_MMIO_BASE, Genode::Board_base::GPIO5_MMIO_SIZE,
+	  Genode::Board_base::GPIO5_IRQL, Genode::Board_base::GPIO5_IRQH },
+	{ Genode::Board_base::GPIO6_MMIO_BASE, Genode::Board_base::GPIO6_MMIO_SIZE,
+	  Genode::Board_base::GPIO6_IRQL, Genode::Board_base::GPIO6_IRQH },
+	{ Genode::Board_base::GPIO7_MMIO_BASE, Genode::Board_base::GPIO7_MMIO_SIZE,
+	  Genode::Board_base::GPIO7_IRQL, Genode::Board_base::GPIO7_IRQH }
 };