[GIT PULL] omapdrm fixes for 4.2