init.universal5410.rc: Configure cpu-boost driver
BoardConfig: use Linaro GCC 4.9 for kernel