[PATCH] Add MokManager.efi to EFI/BOOT (#882101)