Kernel prepatch 4.12-rc4

The 4.12-rc4 kernel prepatch has beenreleased. "Things remain fairly calm for 4.12, although not quite as calm as itappeared earlier in the week. I think two thirds of the commits camein on Friday or the weekend.But timing aside, it all looks fairly normal."