There's a few important fixes in our fixes branch, in particular the
pgd/pud_present() one, so merge it now.