[GIT PULL] commits for Linux 4.17