--- a/drivers/bcmxcp.c 2012-11-26 12:45:24.000000000 +0000 +++ b/drivers/bcmxcp.c 2014-02-25 09:33:23.000000000 +0000 @@ -1134,7 +1134,7 @@ len--; ncpu++; - } while ((len > 0) && (ncpu <= 5)); + } while ((len > 0) && (ncpu <= 4)); dstate_setinfo("ups.firmware", "%s", pTmp);