Except, there are some merits here. One, the bits about Android/SurfaceFlinger/EGL are true. Two, NVIDIA has ported their full _desktop_driver_ to ARM. You can buy an ARM mITX board and theoretically slap in a beefy Kepler GPU and that will work. That's quite the progress to be making. Three, one could eventually see the Tegra EGL driver eventually merging with the unified driver, now that the architecture bridge is crossed. The line of reasoning here isn't broken.
I suspect that someone (Google maybe) has an ARM linux laptop/desktop/whatever coming hence the porting to ARM. Money motivates them.