The highest tier of this laptop comes with four performance cores and twelve efficiency cores? What kind of Linux-kernel-compiler wants four cores?