Kernel prepatch 4.13-rc2

The 4.13-rc2 kernel prepatch is out fortesting. "Changes all over, although the diffstat is dominated bythe new vboxvideo staging driver. I shouldn't have let it through, butGreg, as we all know, is 'special'. Also, Quod licet Iovi, and all thatjazz - Greg gets to occasionally break some rules."