actually use real kernel repo :p

Change-Id: Icca111bc2eb267a80595c5773e82db1844514317