update prebuilt kernel
* support an additional 1.2GHz frequency step
* rewrite power HAL to adapt to changed frequencies
* initialise with 1GHz by default