Use 4.7 for Prebuilt kernel since it really doesn't need it