The board has not discussed a key indicator called profit per capita.
The 12K people, making total Intel population about 95K, will bring Intel to the bottom of the high tech company distribution.
Statisticians will tell you they want to be "average" or center of distribution nIntel would have to lose an additional 15K people using present profit margin numbers to become statistically average.
The net result would be 80K employees worldwide.