Thanks for the suggestion. Tried that, still not loading. Unfortunately, I'm not on site (and won't be able to get back there for a few days), so I couldn't see any errors during boot.
For the moment, I've put this into /etc/rc.d/rc.local (not the recommended way of doing it, I know...):
modprobe powernow-k8
/etc/rc.d/init.d/cpuspeed start
That is working, so until I can get back to the site, that will have to do. I'll check a reboot with your suggestion next time I get to the site and see if that gives me any useful information.
Paul.