Pi 3 config.txt - overclock settings

I’ve just upgraded from a Pi 2 to Pi 3 (same SD card image). Clock speed appears to be 1200MHz in system information, as expected. However the overclock profiles in My OSMC all appear to be the Pi 2 values.

This post indicated that the overclock profiles weren’t updated for the initial release with Pi 3 support but that they would be updated for Pi 3 in due course:

Should I be seeing Pi 3 overclock profiles in My OSMC? I’m running the latest 2016-05 update.