That kb article is not relevant to my question. The timezones are correct. My problem is the daylight saving. As far as I can tell there is no timezone for BST specifically.

All my machines are on Europe/London timezone, but some are on GMT (winter) and some on BST (summer).