Of course, the material you are quoting is outdated.

You download the latest kernel by installing the Enhanced Linux kernel for power users, which is available from the Application Manager. You also need the Enhanced Linux kernel for power users settings, available from the same place.

You also need to read http://wiki.maemo.org/Overclocking