[GIT PULL] omapdrm fix for 4.15