Always build hdmi, and break ou the ubuntu 3.5 specific fix so it builds on newer kernels
Update to 3.13-rc2