* kern/efi/efi.c (grub_exit): Add infinite loop at the end to fix a gcc warning and ensure that the function won't ever exit.
b6783cb2ee