Switch to Boosted 4.7 toolchain
Switch to use my kernel source by default