Hello,

I'm the author of the post on the Lenovo-forums.

Thought I'd clarify that I've only tested Linux on the t430s I bought, and it didn't have a discrete graphics card (only the Intel 4000)....