diff --git a/cpu/mpc512x/pci.c b/cpu/mpc512x/pci.c
index 806c428e4c3d5b5688a72fc22ad47de633d2e998..3c635922729b637fb7a238f768f02ab39a0f6b74 100644
--- a/cpu/mpc512x/pci.c
+++ b/cpu/mpc512x/pci.c
@@ -54,6 +54,7 @@ pci_init_board(void)
 	u16 reg16;
 	u32 reg32;
 	u32 dev;
+	int i;
 	struct pci_controller *hose;
 
 	/* Set PCI divider for 33MHz */
@@ -77,12 +78,8 @@ pci_init_board(void)
 	pci_ctrl->gcr = 1;
 
 	/* We need to wait at least a 1sec based on PCI specs */
-	{
-		int i;
-
-		for (i = 0; i < 1000; i++)
-			udelay(1000);
-	}
+	for (i = 0; i < 1000; i++)
+		udelay(1000);
 
 	/*
 	 * Configure PCI Local Access Windows