I bought a Thinkpad X1 Carbon with Windows 8, had no issues getting Debian on there (minus having to manually upgrade kernels as 3.2 was a bit old and was causing issue).

Although the Carbon also support non-EUFI booting which made it easier, it shouldn't be that hard to get linux running with EUFI. What caused you trouble?