[Git][ghc/ghc][master] cleanup: Drop obsolete settings from config.mk.in