Time sources are always UTC (ie GMT), then you apply the timezone offset, then you set when DST is used.
For example, in the USA, their DST cutover is a different date to us...
That being said, the MIB does have the capability to do it, they just haven't enabled it for the UK.