[Git][ghc/ghc][wip/mangoiv/9.12.5-rc3-fixes] 2 commits: hadrian: update bootstrap plans