Use Bullet kernel + 4.7 toolchain