The above is generally true when it comes to desktop Ivy Bridge CPUs with the Intel HD 4000. However, for laptops it is not so cut and dry. That's because there are actually several "versions" of the Intel HD 4000 in mobile Ivy Bridge CPUs. They all use the same architecture, but the difference is in the clockspeed. I think there are around 6 different clockspeeds for the mobile HD 4000 depending on the CPU model. The link below provides 4 different models with different clockspeeds. The reason for the different clockspeeds is to hit specific power consumption limits (along with lower CPU clockspeeds).
http://ark.intel.com/compare/72012,65707,64896,65704
The slowest HD 4000 is found in the i3-3229Y CPU which has a max power consumption of 13w and can potentially be used in tablets. Although that is considered to be "power hungry" for a tablet. Of the 4 mobile CPUs, the i5-3320m has the highest performing HD 4000; however it uses 35w of power.
Generally speaking though, even the lowest performing Intel HD 4000 should still be sufficient to playback HD videos.