diff --git a/[refs] b/[refs]
index 4f08c0884f29..1c6eae2d6e01 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: bbbe1212bd6f815290f782ba5b489467b54131dc
+refs/heads/master: 898b1920a67048c1f38bb99777f4cff06380a59a
diff --git a/trunk/arch/ppc/platforms/4xx/virtex.h b/trunk/arch/ppc/platforms/4xx/virtex.h
index 1a01b81cff11..c14325dfd7b1 100644
--- a/trunk/arch/ppc/platforms/4xx/virtex.h
+++ b/trunk/arch/ppc/platforms/4xx/virtex.h
@@ -27,7 +27,7 @@
 /* Device type enumeration for platform bus definitions */
 #ifndef __ASSEMBLY__
 enum ppc_sys_devices {
-	VIRTEX_UART,
+	VIRTEX_UART, NUM_PPC_SYS_DEVS,
 };
 #endif