[gigablue-quad] rebuild kernel as config has changed.