local manifests: add dummy kernel repo

Altrough we can't flash custom kernels, we still have to build one. It automatically gets replaced by stock boot.img after building anyway.