RE: booting an external disk via grub