Mention the correct base version in patches.linux. Not clear how valuable this is, since (pre-git) I haven't had old versions available from anywhere. Once patches.linux is turned into something git-sensible this whole issue will go away.