Given that grub itself works as 64-bit, I assume that the EFI firmware
is also 64-bit. And the grub itself loads a 64-bit kernel, so I'm
pretty sure everything is 64-bit in the pipeline.
Would 64-bit grub-efi work on a 32-bit efi firmware?
On 7/7/2010 5:11 PM, Vladimir 'φ-coder/phcoder' Se
Most likely the disk enumeration is different than what you have in
the grub list.
boot into a working system, plug your disk with the linux in, and then
do sudo blkid
get the UUID of your root filesystem, and then put it as
root=UUID=00----0 instead of /dev/sda4.
