You would still need some kind of configuration because the start of DST can change year to year, and this is not accounted for in the time signal from GPS

Good point that DST dates can technically change -- but in practice it doesn't really change on a year-to-year basis. The current law establishing the start and end dates in the US has been in effect unchanged for the last ~20 years.