"I'm hoping on a quad core ARM and tegra4 based laptop purely designed to run Linux. The seperate components are there, now a company who is willing to take the risk. That will be the day I ditch Lenovo.

Nvidia ever going to release a Tegra driver for Linux or just a custom driver for Android? While the prospect of those quad 64 bit 2.5Ghz ARM CPUs are great the GPU will by far be your biggest limitation in what can be done.