* Patch by Gleb Natapov, 19 Sep 2003:
  Move most of the timer interrupt related PPC code to ppc_lib/interrupts.c

* Patch by Anders Larsen, 17 Sep 2003:
  Bring ARM memory layout in sync with the documentation:
  stack and malloc-heap are now located _below_ the U-Boot code
diff --git a/common/xilinx.c b/common/xilinx.c
index cb153e1..b2e6169 100644
--- a/common/xilinx.c
+++ b/common/xilinx.c
@@ -194,6 +194,7 @@
 				/* Add new family types here */
 			default:
 				/* we don't need a message here - we give one up above */
+				;
 			}
 		} else
 			printf ("No Device Function Table.\n");