default: fix wrong kernel repo