Use CFX's arm-eabi-4.8 toolchain to build kernel