[PATCH v2 2/2] efi_loader: make the UEFI boot manager configurable