456
456
/* whilst we will be called later on, we try and re-set the
457
457
* cpu frequencies as soon as possible so that we do not end
459
459
* a number of settings once these devices have restarted.
461
461
* as a note, it is expected devices are not used until they