Use binpkgs to fetch kernel deps