linux3.11: removed, this branch has been EOLed anyway.