Correct. This has been fixed in a firmware update. You can get the same effect by adding “core_freq=400” to config.txt (or using OSMC settings add-on). You could also manually update the firmware, or wait for the next build (which hopefully will contain latest firmware).
This only affects Pi1 and Pi2, as Pi3 and Pi0 have core_freq=400 as a default when boosted.
With the latest firmware the core_freq=400 boost will happen automatically on all Pi devices when using HD advanced deinterlace.