[aclevernickname]

Kubuntu 13.10 (or the latest Chakra if you don't like *buntu) should work, and solve your HDMI pain.

[easy_rider]

thanks!!