Switch to use Boosted a15 optimized toolchain "ex" branch for kernel compile

Signed-off-by: RobbieL811 <RobbieLancaster811@gmail.com>