Managing EFI Boot Loaders for Linux