I see your point.
Well, I'll see if the kernel update helps. Else, I'll have to accept that my machine is too weak. Though I've briefly read that it's possible to make a DIY port to plug an external graphic card. Depending on how doable it is, I might try that.
