Set default frequency on boot also to CPU1

This is temporary solution. The boot frequency should be set to 1.5 GHz
in the kernel.