Grub/etherboot/root-dev?