deb: use correct kernel repo

Change-Id: Ie9b4d90b651687415db6d591c078188386495ffb
Merge "deb: use correct kernel repo" into android-4.4