main/linux-vanilla: upgrade to 3.14.20