bug#33656: Hard locks on boot (uefi system) via usb

[Ricardo Wurmus]

Hi Ryan,

> I used sudo dd if=guixsd-install-0.16.0.x86_64-linux.iso of=/dev/sdb to
> make the usb work in uefi mode

What errors do you get (if any)?

-- 
Ricardo