[PATCH] i386: Use bigsmp for > 8 core Opteron systems