[Git][ghc/ghc][wip/romes/26478] cleanup: Drop obsolete settings from config.mk.in