changed toolchain for building the kernel to arm-eabi-4.8
added 200 MHz (actualy 400 MHz) min freq.