diff --git a/c/src/lib/libcpu/powerpc/mpc821/console-generic/console-generic.c b/c/src/lib/libcpu/powerpc/mpc821/console-generic/console-generic.c
index e8fa6ed3f4..b84e02a851 100644
--- a/c/src/lib/libcpu/powerpc/mpc821/console-generic/console-generic.c
+++ b/c/src/lib/libcpu/powerpc/mpc821/console-generic/console-generic.c
@@ -99,7 +99,7 @@ m821_get_brg_cd (int baud)
 /*  at any time since the OS started. It needs to be fixed. FIXME */
 unsigned char m821_get_brg_clk(int baud)
 {
-  static short brg_spd[4];
+  static int   brg_spd[4];
   static char  brg_used[4];
   int i;
 
diff --git a/c/src/lib/libcpu/powerpc/mpc860/console-generic/console-generic.c b/c/src/lib/libcpu/powerpc/mpc860/console-generic/console-generic.c
index 3ace5ce9b6..e9cdf00b94 100644
--- a/c/src/lib/libcpu/powerpc/mpc860/console-generic/console-generic.c
+++ b/c/src/lib/libcpu/powerpc/mpc860/console-generic/console-generic.c
@@ -102,8 +102,8 @@ m860_get_brg_cd (int baud)
 /*  at any time since the OS started. It needs to be fixed. FIXME */
 unsigned char m860_get_brg_clk(int baud)
 {
-  static short brg_spd[4];
-  static char  brg_used[4];
+  static int  brg_spd[4];
+  static char brg_used[4];
   int i;
 
   /* first try to find a BRG that is already at the right speed */