[Git][ghc/ghc][wip/fendor/fix-note-dep_boot_deps] Fix name of Note [Structure of dep_boot_mods]