Update documentation wrt. using GRUB + Secure Boot for USB boot on EFI 64-bit (#17492) · Issues · tails / tails