Você não pode simplesmente trocar o kernel, o Debian Hurd é uma arquitetura diferente, então você precisa usar uma instalação separada. Se você testar, tenho certeza de que os desenvolvedores estariam interessados em seus comentários (relatórios de instalação, etc.).