base: trying to get hdmi out with the latest kernel (3.10). still not there...