hammerhead: Fix device & kernel repos

Derp.