[Git][ghc/ghc][master] Fix name of Note [Structure of dep_boot_mods]