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