Yes, I am using 3.11.4 from Arch testing repository and also enabled HDMI in kernel boot line. Just a side note: Upgraded to 3.12rc4 already...