Apparently ESP-IDF doesn't actually support timezones like Europe/London, they have to be specified in full TZ format.