Switch over from Slim's kernel source to my kernel source
Switch to Boosted 4.9 toolchain